polynomial-algebra-0.0: polynomial and exterior algebras Contents Index

Math.Algebra.PolyAlg.Polynomial

Documentation

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

newtype Monomial symb

Constructors M (FreeMod symb Int) Instances Eq symb => Eq (Monomial symb) Ord symb => Ord (Monomial symb) Show symb => Show (Monomial symb) (Ord symb, Pretty symb) => Pretty (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

Constructors P unP :: FreeMod (Monomial symb) coeff Instances (Eq symb, Eq coeff) => Eq (PolyAlgebra symb coeff) (Ord symb, Ord coeff) => Ord (PolyAlgebra symb coeff) (Show symb, Show coeff) => Show (PolyAlgebra symb coeff) (Ord symb, Real coeff, Pretty symb) => Pretty (PolyAlgebra symb coeff) (Ord s, Num c) => FreeModule (PolyAlgebra s c) (Ord s, Num c) => Algebra (PolyAlgebra s c)

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