HaskellForMaths-0.1.7

Math.Algebra.Commutative.GBasis

Synopsis

Documentation

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