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 inclusion-wise 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.