sub_space() [2/2]

FreeModule * FreeModule::sub_space

(

M2_arrayint

a

)

const

Definition at line 211 of file freemod.cpp.

{
  FreeModule *result = new_free();
  for (unsigned int i = 0; i < a->len; i++)
    if (a->array[i] >= 0 && a->array[i] < rank())
      result->append(degree(a->array[i]));
    else
      {
        ERROR("subfreemodule: index out of bounds");
        freemem(result);
        return nullptr;
      }
  if (schreyer != nullptr) result->schreyer = schreyer->sub_space(a);
  return result;
}

References degree(), ERROR, freemem(), FreeModule(), new_free(), rank(), result(), and schreyer.