Closed dimpase closed 10 months ago
I cannot see anything on this in the docs, although I guess it corresponds to the monomial order used. Can this be documented?
-g1
-g2
I cannot see anything on this in the docs, although I guess it corresponds to the monomial order used. Can this be documented?