Domain.Math.Simplification

Documentation

class Simplify a where

Minimal complete definition

simplifyWith

Methods

simplifyWith :: SimplifyConfig -> a -> a

simplify :: a -> a

Instances

Simplify Expr

Defined in Domain.Math.Simplification

Methods

simplifyWith :: SimplifyConfig -> Expr -> Expr

simplify :: Expr -> Expr

Simplify a => Simplify [a]

Defined in Domain.Math.Simplification

Methods

simplifyWith :: SimplifyConfig -> [a] -> [a]

simplify :: [a] -> [a]

Simplify a => Simplify (Rule a)

Defined in Domain.Math.Simplification

Methods

simplifyWith :: SimplifyConfig -> Rule a -> Rule a

simplify :: Rule a -> Rule a

Simplify a => Simplify (Context a)

Defined in Domain.Math.Simplification

Methods

simplifyWith :: SimplifyConfig -> Context a -> Context a

simplify :: Context a -> Context a

Simplify a => Simplify (Relation a)

Defined in Domain.Math.Simplification

Methods

simplifyWith :: SimplifyConfig -> Relation a -> Relation a

simplify :: Relation a -> Relation a

Simplify a => Simplify (Equation a)

Defined in Domain.Math.Simplification

Methods

simplifyWith :: SimplifyConfig -> Equation a -> Equation a

simplify :: Equation a -> Equation a

Simplify a => Simplify (Matrix a)

Defined in Domain.LinearAlgebra.Matrix

Methods

simplifyWith :: SimplifyConfig -> Matrix a -> Matrix a

simplify :: Matrix a -> Matrix a

data SimplifyConfig

Constructors

SimplifyConfig

Fields

• withSmartConstructors :: Bool
• withMergeAlike :: Bool
• withDistribution :: Bool
• withSimplifySquareRoot :: Bool
• withConstantFolding :: Bool

simplifyConfig :: SimplifyConfig

data Simplified a

Instances

Eq a => Eq (Simplified a)

Defined in Domain.Math.Simplification

Methods

(==) :: Simplified a -> Simplified a -> Bool

(/=) :: Simplified a -> Simplified a -> Bool

(Floating a, Simplify a) => Floating (Simplified a)

Defined in Domain.Math.Simplification

Methods

pi :: Simplified a

exp :: Simplified a -> Simplified a

log :: Simplified a -> Simplified a

sqrt :: Simplified a -> Simplified a

(**) :: Simplified a -> Simplified a -> Simplified a

logBase :: Simplified a -> Simplified a -> Simplified a

sin :: Simplified a -> Simplified a

cos :: Simplified a -> Simplified a

tan :: Simplified a -> Simplified a

asin :: Simplified a -> Simplified a

acos :: Simplified a -> Simplified a

atan :: Simplified a -> Simplified a

sinh :: Simplified a -> Simplified a

cosh :: Simplified a -> Simplified a

tanh :: Simplified a -> Simplified a

asinh :: Simplified a -> Simplified a

acosh :: Simplified a -> Simplified a

atanh :: Simplified a -> Simplified a

log1p :: Simplified a -> Simplified a

expm1 :: Simplified a -> Simplified a

log1pexp :: Simplified a -> Simplified a

log1mexp :: Simplified a -> Simplified a

(Fractional a, Simplify a) => Fractional (Simplified a)

Defined in Domain.Math.Simplification

Methods

(/) :: Simplified a -> Simplified a -> Simplified a

recip :: Simplified a -> Simplified a

fromRational :: Rational -> Simplified a

(Num a, Simplify a) => Num (Simplified a)

Defined in Domain.Math.Simplification

Methods

(+) :: Simplified a -> Simplified a -> Simplified a

(-) :: Simplified a -> Simplified a -> Simplified a

(*) :: Simplified a -> Simplified a -> Simplified a

negate :: Simplified a -> Simplified a

abs :: Simplified a -> Simplified a

signum :: Simplified a -> Simplified a

fromInteger :: Integer -> Simplified a

Ord a => Ord (Simplified a)

Defined in Domain.Math.Simplification

Methods

compare :: Simplified a -> Simplified a -> Ordering

(<) :: Simplified a -> Simplified a -> Bool

(<=) :: Simplified a -> Simplified a -> Bool

(>) :: Simplified a -> Simplified a -> Bool

(>=) :: Simplified a -> Simplified a -> Bool

max :: Simplified a -> Simplified a -> Simplified a

min :: Simplified a -> Simplified a -> Simplified a

(Read a, Simplify a) => Read (Simplified a)

Defined in Domain.Math.Simplification

Methods

readsPrec :: Int -> ReadS (Simplified a)

readList :: ReadS [Simplified a]

readPrec :: ReadPrec (Simplified a)

readListPrec :: ReadPrec [Simplified a]

Show a => Show (Simplified a)

Defined in Domain.Math.Simplification

Methods

showsPrec :: Int -> Simplified a -> ShowS

show :: Simplified a -> String

showList :: [Simplified a] -> ShowS

(Reference a, Simplify a) => Reference (Simplified a)

Defined in Domain.Math.Simplification

Methods

makeRef :: IsId n => n -> Ref (Simplified a)

makeRefList :: IsId n => n -> Ref [Simplified a]

(Simplify a, IsTerm a) => IsTerm (Simplified a)

Defined in Domain.Math.Simplification

Methods

toTerm :: Simplified a -> Term

toTermList :: [Simplified a] -> Term

fromTerm :: MonadPlus m => Term -> m (Simplified a)

fromTermList :: MonadPlus m => Term -> m [Simplified a]

simplified :: Simplify a => a -> Simplified a

liftS :: Simplify a => (a -> a) -> Simplified a -> Simplified a

liftS2 :: Simplify a => (a -> a -> a) -> Simplified a -> Simplified a -> Simplified a

simplifyRule :: Simplify a => Rule a

collectLikeTerms :: Expr -> Expr

mergeAlike :: Expr -> Expr

distribution :: Expr -> Expr

constantFolding :: Expr -> Expr

mergeAlikeSum :: [Expr] -> [Expr]

mergeAlikeProduct :: [Expr] -> [Expr]