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

Safe Haskell	Safe-Infered

Math.Projects.KnotTheory.LaurentMPoly

Documentation

newtype LaurentMonomial Source

Constructors

LM (Map String Q)

Instances

Eq LaurentMonomial
Fractional LaurentMonomial
Num LaurentMonomial
Ord LaurentMonomial
Show LaurentMonomial

degLM :: LaurentMonomial -> Q Source

denominatorLM :: LaurentMonomial -> LaurentMonomial Source

lcmLM :: LaurentMonomial -> LaurentMonomial -> LaurentMonomial Source

divLM :: LaurentMonomial -> LaurentMonomial -> Maybe LaurentMonomial Source

newtype LaurentMPoly r Source

Constructors

LP [(LaurentMonomial, r)]

Instances

Invertible LPQ
Eq r => Eq (LaurentMPoly r)
(Eq r, Fractional r) => Fractional (LaurentMPoly r)
(Eq r, Num r) => Num (LaurentMPoly r)
Ord r => Ord (LaurentMPoly r)
Show r => Show (LaurentMPoly r)
Invertible (NPoly LPQ BraidGens)
Invertible (NPoly LPQ IwahoriHeckeGens)

cmpTerm :: Ord a => (a, t) -> (a, t1) -> Ordering Source

mergeTerms :: (Eq a1, Num a1, Ord a) => [(a, a1)] -> [(a, a1)] -> [(a, a1)]Source

collect :: (Eq a1, Eq a, Num a1) => [(a, a1)] -> [(a, a1)]Source

lm :: LaurentMPoly t -> LaurentMonomial Source

lc :: LaurentMPoly t -> tSource

lt :: LaurentMPoly r -> LaurentMPoly rSource

quotRemLP :: (Eq t, Fractional t) => LaurentMPoly t -> LaurentMPoly t -> (LaurentMPoly t, LaurentMPoly t)Source

reduceLP :: (Eq t, Fractional t) => LaurentMPoly t -> LaurentMPoly t -> LaurentMPoly tSource

var :: Num r => String -> LaurentMPoly rSource

t :: LaurentMPoly Q Source

x :: LaurentMPoly Q Source

y :: LaurentMPoly Q Source

z :: LaurentMPoly Q Source

denominatorLP :: Num r => LaurentMPoly t -> LaurentMPoly rSource

inject :: (Eq r, Num r) => r -> LaurentMPoly rSource

sqrtvar :: Num r => String -> LaurentMPoly rSource

subst :: (Eq r, Fractional r, Show r) => [(LaurentMPoly r, LaurentMPoly r)] -> LaurentMPoly r -> LaurentMPoly rSource

(^^^) :: (Eq t, Fractional t, Show t) => LaurentMPoly t -> Q -> LaurentMPoly tSource