monReduction(I)
Given a monomial ideal I, this function computes a monomial reduction of I (i.e. a reduction of I which is a monomial ideal), which is inclusionwise minimal among all monomial reductions of I.






This function works by finding the extremal rays of NP(I), which correspond to the minimal generators of the monomial reduction of I.
As seen above, a monomial minimal reduction need not be a minimal reduction.
The object monReduction is a method function.