Safe Haskell | None |
---|---|
Language | Haskell98 |
Math.Projects.KnotTheory.LaurentMPoly
Documentation
newtype LaurentMonomial Source #
degLM :: LaurentMonomial -> Q 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 # | |
lm :: LaurentMPoly t -> LaurentMonomial Source #
lc :: LaurentMPoly t -> t Source #
lt :: LaurentMPoly r -> LaurentMPoly r Source #
quotRemLP :: (Fractional t, Eq t) => LaurentMPoly t -> LaurentMPoly t -> (LaurentMPoly t, LaurentMPoly t) Source #
reduceLP :: (Fractional t, Eq t) => LaurentMPoly t -> LaurentMPoly t -> LaurentMPoly t 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 #
subst :: (Fractional r, Show r, Eq r) => [(LaurentMPoly r, LaurentMPoly r)] -> LaurentMPoly r -> LaurentMPoly r Source #
(^^^) :: (Show a, Fractional a, Eq a) => LaurentMPoly a -> Q -> LaurentMPoly a Source #