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

Math.Algebra.Commutative.Monomial

Synopsis

Documentation

newtype Monomial ord Source

Constructors

Monomial (Map String Int) 

Instances

data Lex Source

Phantom type representing lex term ordering

Instances

data Glex Source

Phantom type representing glex term ordering

Instances

data Grevlex Source

Phantom type representing grevlex term ordering

Instances

data Elim Source

Phantom type for an elimination term ordering. In the ordering, xis come before yjs come before zks, but within the xis, or yjs, or zks, grevlex ordering is used

Instances

convertM :: Monomial a -> Monomial bSource

supportM :: Monomial ord -> [Monomial ord]Source