MonomialIdeal

MonomialIdeal -- the class of all monomial ideals handled by the engine.

Routine for making monomial ideals:

Operations on monomial ideals:

(I,J) -- compute { m minimal generator of I : m not a minimal gen of J

(I) -- compute { m^c : m minimal generator of I }, where m^c is the product of the variables not in the support of m.

(I,p) -- compute { p/m : m in I }, where p is a given monomial