up previous next
IsZeroDivisor

test whether a RINGELEM is a zero-divisor

Syntax
IsZeroDivisor(X: RINGELEM): BOOL

Description
This function tests whether its argument is a zero-divisor.

Example
/**/  use P ::= QQ[x,y,z];
/**/  R := NewQuotientRing(P, ideal(x*y));
/**/  IsZeroDivisor(RingElem(R,x));
true
/**/  colon(ideal(zero(R)), ideal(RingElem(R,x)));
ideal((y))

See Also