Function id_FreeModule

libpolys/polys/simpleideals.cc:1172–1189

the free module of rank i

/// the free module of rank i
ideal id_FreeModule (int i, const ring r)
{
  assume(i >= 0);
  if (r->isLPring)
  {
    PrintS("In order to address bimodules, the command freeAlgebra should be used.");
  }
  ideal h = idInit(i, i);

  for (int j=0; j<i; j++)
  {
    h->m[j] = p_One(r);
    p_SetComp(h->m[j],j+1,r);
    p_SetmComp(h->m[j],r);
  }

  return h;
}

/*2
*computes recursively all monomials of a certain degree