previous  next
NFsAreZero
Syntax
NFsAreZero(L:LIST of POLY,M IDEAL):BOOL
NFsAreZero(L:LIST of VECTOR,M:MODULE):BOOL
Summary
test if normal forms are zero
Description
This function returns TRUE if each component of L
has normal form 0 with respect to M, i.e., if each component is an
element of M.  Otherwise, it returns FALSE.  The coefficient ring is
assumed to be a field.

Example

Use S ::= Q[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: