free_of()

FreeModule * res2_comp::free_of

(

int

i

)

const

Definition at line 2034 of file res-a0.cpp.

{
  FreeModule *result;
  result = P->make_Schreyer_FreeModule();
  if (i < 0 || i >= resn.size()) return result;
 
  auto D = get_ring()->degree_monoid();
  monomial deg = D->make_one();
  int n = 0;
  for (res2_pair *p = resn[i]->pairs; p != nullptr; p = p->next)
    {
      multi_degree(p, deg);
      result->append_schreyer(deg, p->syz->monom, p->compare_num);
      p->me = n++;
    }
  D->remove(deg);
  return result;
}

References Ring::degree_monoid(), get_ring(), monomial, multi_degree(), P, p, and result().

Referenced by make(), and minimal_free_of().