 polynomialalgebra0.0: polynomial and exterior algebras  Contents  Index 

Math.Algebra.PolyAlg.Polynomial 




Documentation 

(<#>) :: (a > b) > (c > d) > (a, c) > (b, d) 

newtype Monomial symb 
Constructors   Instances  


type MonomialTerm symb coeff = (Monomial symb, coeff) 

toMonomial :: Ord symb => [(symb, Int)] > Monomial symb 

toMonomialTerm :: (Ord symb, Num coeff) => [(symb, Int)] > coeff > MonomialTerm symb coeff 

mulMonomialTerm :: (Ord symb, Num coeff) => MonomialTerm symb coeff > MonomialTerm symb coeff > MonomialTerm symb coeff 

showMonomialWith :: Ord symb => (symb > String) > Monomial symb > String 

monomP :: Parser (Monomial Symbol) 

polynomialP :: Parser (PolyAlg Integer) 

parsePolynomial :: String > PolyAlg Integer 

newtype PolyAlgebra symb coeff 
Constructors   Instances  


type PolyAlg c = PolyAlgebra Symbol c 

polyMul :: (Ord s, Num c) => PolyAlgebra s c > PolyAlgebra s c > PolyAlgebra s c 

fromLinear :: (Ord s, Num c) => FreeMod s c > PolyAlgebra s c 

Produced by Haddock version 2.4.1 