up previous next
Gens

list of generators of an ideal
Syntax
          
Gens(I:IDEAL):LIST
Gens(M:MODULE):LIST

          

Description
This function returns a list of polynomials which generate the ideal I or the module M. The list is not necessarily minimal. Note that I.Gens and M.Gens will give the same lists of generators. The advantage of Gens is that its argument can be any expression evaluating to an ideal or module.

Example
  Use R ::= QQ[x,y];
  I := Ideal(y^2-x^3, xy);
  Gens(I);
[-x^3 + y^2, xy]
-------------------------------
  I.Gens;
[-x^3 + y^2, xy]
-------------------------------
  Gens(I^2);
[x^6 - 2x^3y^2 + y^4, -x^4y + xy^3, x^2y^2]
-------------------------------


See Also