up previous next
JanetBasis

the Janet basis of an ideal

Syntax
JanetBasis(I: IDEAL): LIST of RINGELEM

Description
Thanks to Mario Albert.

This function returns the Janet basis of an ideal.

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