Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Documentation
class Simplify a where Source #
simplifyWith :: SimplifyConfig -> a -> a Source #
Instances
Simplify Expr Source # | |
Defined in Domain.Math.Simplification | |
Simplify a => Simplify [a] Source # | |
Defined in Domain.Math.Simplification simplifyWith :: SimplifyConfig -> [a] -> [a] Source # | |
Simplify a => Simplify (Rule a) Source # | |
Defined in Domain.Math.Simplification | |
Simplify a => Simplify (Context a) Source # | |
Defined in Domain.Math.Simplification | |
Simplify a => Simplify (Relation a) Source # | |
Defined in Domain.Math.Simplification | |
Simplify a => Simplify (Equation a) Source # | |
Defined in Domain.Math.Simplification | |
Simplify a => Simplify (Matrix a) Source # | |
Defined in Domain.LinearAlgebra.Matrix |
data SimplifyConfig Source #
data Simplified a Source #
Instances
simplified :: Simplify a => a -> Simplified a Source #
liftS :: Simplify a => (a -> a) -> Simplified a -> Simplified a Source #
liftS2 :: Simplify a => (a -> a -> a) -> Simplified a -> Simplified a -> Simplified a Source #
simplifyRule :: Simplify a => Rule a Source #
collectLikeTerms :: Expr -> Expr Source #
mergeAlike :: Expr -> Expr Source #
distribution :: Expr -> Expr Source #
constantFolding :: Expr -> Expr Source #
mergeAlikeSum :: [Expr] -> [Expr] Source #
mergeAlikeProduct :: [Expr] -> [Expr] Source #