HaskellForMaths-0.1.9: 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