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

Safe Haskell | None

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 a, Eq a1, 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