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

Safe Haskell | None
Language | Haskell98

Math.Projects.KnotTheory.LaurentMPoly

# Documentation

newtype LaurentMonomial Source

Constructors

LM (Map String Q) |

Instances

Eq LaurentMonomial Source |
Fractional LaurentMonomial Source |
Num LaurentMonomial Source |
Ord LaurentMonomial Source |
Show LaurentMonomial Source |

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

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

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 -> t Source

lt :: LaurentMPoly r -> LaurentMPoly r Source

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

reduceLP :: (Eq r, Fractional r) => LaurentMPoly r -> LaurentMPoly r -> LaurentMPoly r Source

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

t :: LaurentMPoly Q Source

x :: LaurentMPoly Q Source

y :: LaurentMPoly Q Source

z :: LaurentMPoly Q Source

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

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

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

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

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