reduceOIGB G
This method reduces G as a Gröbner basis, i.e., ensures that no monomial of any element of G is OI-divisible by the leading monomial of any other element of G. The Verbose option must be either true or false, depending on whether one wants debug information printed.
|
|
|
|
|
|
|
|
|
The object reduceOIGB is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:2526:0.