Home Online Manual
Top
Back: lcmMon
Forward: intersectMon
FastBack:
FastForward:
Up: monomialideal_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.19.5 membershipMon

Procedure from library monomialideal.lib (see monomialideal_lib).

Usage:
membershipMon(f,I); f polynomial, I ideal.

Return:
1, if f lies in I; 0 otherwise.
(-1 if I and f are nonzero and I is not a monomial ideal)

Assume:
I is a monomial ideal of the basering.

Example:
 
LIB "monomialideal.lib";
ring R = 0,(w,x,y,z,t),lp;
ideal I =  w*x, x^2, y*z*t, y^5*t;
poly f =  3*x^2*y + 6*t^5*z*y^6 - 4*x^2 + 8*w*x^5*y^6 - 10*y^10*t^10;
membershipMon(f,I);
==> 1
poly g = 3*w^2*t^3 - 4*y^3*z*t^3 - 2*x^2*y^5*t + 4*x*y^3;
membershipMon(g,I);
==> 0