| ||||||||||||||||
| ||||||||||||||||
Documentation | ||||||||||||||||
(<#>) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) | ||||||||||||||||
newtype Monomial symb | ||||||||||||||||
| ||||||||||||||||
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 | ||||||||||||||||
| ||||||||||||||||
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 |