Documentation

newtype 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

cmpTerm :: Ord a => (a, t) -> (a, t1) -> Ordering Source

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

collect :: (Num a1, Eq a1, Eq a) => [(a, a1)] -> [(a, a1)] 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

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 :: (Num r, Eq r) => r -> LaurentMPoly r Source

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

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

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