up previous next
JanetBasis    --    the Janet basis of an ideal


Syntax 
JanetBasis(I: IDEAL): LIST of RINGELEM

Description
This function returns the Janet basis of the ideal I as a list of polynomials..

Originally written by Mario Albert.

Example 
/**/  use R ::= QQ[x,y,z];
/**/  L := [x-y,  x^2-z+1,  x^3-y^2];
/**/  JanetBasis(ideal(L));
[x -y,  z^2 -3*z +2,  y*z -y -z +1,  y^2 -z +1]

See Also