up previous next
IsMaximal

maximality test

Syntax
IsMaximal(I: IDEAL): BOOL

Description
This function determines whether an ideal is maximal. (Not yet implemented for small characteristic)

Example
/**/  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

See Also