License | MIT |
---|---|
Safe Haskell | Safe |
Language | Haskell98 |
This module contains functions for mathematical expressions.
Synopsis
- data ScalarData = Div PolyExpr PolyExpr
- newtype PolyExpr = Plus [TermExpr]
- data TermExpr = Term Integer Monomial
- data SymbolExpr
- = Symbol Id String [Index ScalarData]
- | Apply ScalarData [ScalarData]
- | Quote ScalarData
- | FunctionData ScalarData [ScalarData] [ScalarData] [Index ScalarData]
- pattern SingleTerm :: Integer -> Monomial -> ScalarData
- mathNormalize' :: ScalarData -> ScalarData
- mathFold :: ScalarData -> ScalarData
- mathSymbolFold :: ScalarData -> ScalarData
- mathTermFold :: ScalarData -> ScalarData
- mathRemoveZero :: ScalarData -> ScalarData
- mathDivide :: ScalarData -> ScalarData
- mathPlus :: ScalarData -> ScalarData -> ScalarData
- mathMult :: ScalarData -> ScalarData -> ScalarData
- mathNegate :: ScalarData -> ScalarData
- mathNumerator :: ScalarData -> ScalarData
- mathDenominator :: ScalarData -> ScalarData
MathExpr Data
data ScalarData Source #
Instances
Eq ScalarData Source # | |
Defined in Language.Egison.MathExpr (==) :: ScalarData -> ScalarData -> Bool # (/=) :: ScalarData -> ScalarData -> Bool # | |
Show ScalarData Source # | |
Defined in Language.Egison.MathExpr showsPrec :: Int -> ScalarData -> ShowS # show :: ScalarData -> String # showList :: [ScalarData] -> ShowS # | |
PrettyS ScalarData Source # | |
Defined in Language.Egison.Pretty prettyS :: ScalarData -> String Source # | |
Show (Index ScalarData) Source # | |
Defined in Language.Egison.MathExpr |
data SymbolExpr Source #
Symbol Id String [Index ScalarData] | |
Apply ScalarData [ScalarData] | |
Quote ScalarData | |
FunctionData ScalarData [ScalarData] [ScalarData] [Index ScalarData] |
Instances
Eq SymbolExpr Source # | |
Defined in Language.Egison.MathExpr (==) :: SymbolExpr -> SymbolExpr -> Bool # (/=) :: SymbolExpr -> SymbolExpr -> Bool # | |
Show SymbolExpr Source # | |
Defined in Language.Egison.MathExpr showsPrec :: Int -> SymbolExpr -> ShowS # show :: SymbolExpr -> String # showList :: [SymbolExpr] -> ShowS # | |
PrettyS SymbolExpr Source # | |
Defined in Language.Egison.Pretty prettyS :: SymbolExpr -> String Source # |
pattern SingleTerm :: Integer -> Monomial -> ScalarData Source #
Scalar
mathFold :: ScalarData -> ScalarData Source #
mathTermFold :: ScalarData -> ScalarData Source #
mathDivide :: ScalarData -> ScalarData Source #
mathPlus :: ScalarData -> ScalarData -> ScalarData Source #
mathMult :: ScalarData -> ScalarData -> ScalarData Source #
mathNegate :: ScalarData -> ScalarData Source #
mathNumerator :: ScalarData -> ScalarData Source #