Safe Haskell | None |
---|---|
Language | Haskell98 |
Math.Projects.KnotTheory.LaurentMPoly
Documentation
newtype LaurentMonomial Source #
Instances
degLM :: LaurentMonomial -> Q Source #
divLM :: LaurentMonomial -> LaurentMonomial -> Maybe LaurentMonomial Source #
newtype LaurentMPoly r Source #
Constructors
LP [(LaurentMonomial, r)] |
Instances
mergeTerms :: (Ord a, Eq b, Num b) => [(a, b)] -> [(a, b)] -> [(a, b)] Source #
lm :: LaurentMPoly r -> LaurentMonomial Source #
lc :: LaurentMPoly r -> r Source #
lt :: LaurentMPoly r -> LaurentMPoly r Source #
quotRemLP :: (Eq r, Fractional r) => LaurentMPoly r -> LaurentMPoly r -> (LaurentMPoly r, LaurentMPoly r) 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 r1 => LaurentMPoly r2 -> LaurentMPoly r1 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 #