Polynom-0.1: A commutative algebra packageContentsIndex
Polynom-0.1: A commutative algebra package
The Polynom package defines commutative monoids and polynomial rings aimed at computation in commutative algebra.
Modules
show/hideAlgebra
Algebra.Elimination
Algebra.GroebnerBasis
Algebra.Ideals
show/hideData
Data.Lattice
Data.MonoidPlus
Data.MonoidRing
Data.Monomial
Data.Polynomial
Data.Ring
Produced by Haddock version 2.3.0