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