ToySolver.Data.Polynomial.GroebnerBasis
data Options
data Strategy
basis
basis'
spolynomial
reduceGBasis