Math.Projects.KnotTheory.LaurentMPoly

Documentation

newtype LaurentMonomial

Constructors

LM (Map String Q)

Instances

Eq LaurentMonomial

Fractional LaurentMonomial

Num LaurentMonomial

Ord LaurentMonomial

Show LaurentMonomial

degLM :: LaurentMonomial -> Q

denominatorLM :: LaurentMonomial -> LaurentMonomial

lcmLM :: LaurentMonomial -> LaurentMonomial -> LaurentMonomial

divLM :: LaurentMonomial -> LaurentMonomial -> Maybe LaurentMonomial

newtype LaurentMPoly r

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

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

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

lm :: LaurentMPoly t -> LaurentMonomial

lc :: LaurentMPoly t -> t

lt :: LaurentMPoly r -> LaurentMPoly r

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

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

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

t :: LaurentMPoly Q

x :: LaurentMPoly Q

y :: LaurentMPoly Q

z :: LaurentMPoly Q

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

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

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

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

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