Math.Algebra.Commutative.MPoly

Documentation

newtype MPoly ord r

Constructors

MP [(Monomial ord, r)]

Instances

Eq r => Eq (MPoly ord r)

(Ord (Monomial ord), Fractional r) => Fractional (MPoly ord r)

(Ord (Monomial ord), Num r) => Num (MPoly ord r)

(Ord (Monomial ord), Ord r) => Ord (MPoly ord r)

(Show r, Num r) => Show (MPoly ord r)

toLex :: MPoly ord k -> MPoly Lex k

toGlex :: MPoly ord k -> MPoly Glex k

toGrevlex :: MPoly ord k -> MPoly Grevlex k

toElim :: MPoly ord k -> MPoly Elim k