IsMaximal(I: IDEAL): BOOL
/**/ Use P ::= QQ[x,y,z]; /**/ IsMaximal(ideal(x^2+1, (x-5*y+4*z), z^3+z-1)); true /**/ IsMaximal(ideal(x^2+1, (x-5*y+4*z)*(y-3), z^3+z-1)); false