|
D.4.11.7 quotientMon
Procedure from library monomialideal.lib (see monomialideal_lib).
- Usage:
- quotientMon (I,J); I,J ideals.
- Return:
- an ideal, the quotient I:J.
(returns -1 if I or J is not monomial)
- Assume:
- I,J are monomial ideals of the basering.
- Note:
- the minimal monomial generating set is returned.
Example:
|