HaskellForMaths-0.1.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Math.Algebra.Commutative.GBasis

Synopsis

gb :: (Ord (Monomial ord), Fractional k, Ord k) => [MPoly ord k] -> [MPoly ord k]Source

Given a list of polynomials over a field, return a Groebner basis for the ideal generated by the polynomials