NFsAreZero |
Syntax |
NFsAreZero(L: LIST of RINGELEM, M: IDEAL): BOOL NFsAreZero(L: LIST of MODULEELEM, M: MODULE): BOOL |
Description |
Example |
Use S ::= QQ[t,x,y,z]; I := ideal(t^31-t^6-x, t^8-y, t^10-z); F := y^5-z^4; G := (t^8-y)(3F+t^10-z); NFsAreZero([F, G], I); -- F and G are in I True ------------------------------- NFsAreZero([F,x, G], I); -- x is not in I False ------------------------------- |
See Also |