IsZeroDivisor |
Syntax |
IsZeroDivisor(X: RINGELEM): BOOL |
Description |
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 |