HaskellForMaths-0.1.3
Math.Algebra.Commutative.MPoly
newtype MPoly ord r Source
Constructors
Instances
toLex :: MPoly ord k -> MPoly Lex kSource
toGlex :: MPoly ord k -> MPoly Glex kSource
toGrevlex :: MPoly ord k -> MPoly Grevlex kSource
toElim :: MPoly ord k -> MPoly Elim kSource