|
D.4.11.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:
|