JanetBasis(I: IDEAL): LIST of RINGELEM
/**/ 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]