Language.Egison.MathExpr

This module contains functions for mathematical expressions.

MathExpr Data

data ScalarData

Constructors

Div PolyExpr PolyExpr

Instances

Eq ScalarData

Defined in Language.Egison.MathExpr

Methods

(==) :: ScalarData -> ScalarData -> Bool

(/=) :: ScalarData -> ScalarData -> Bool

Show ScalarData

Defined in Language.Egison.MathExpr

Methods

showsPrec :: Int -> ScalarData -> ShowS

show :: ScalarData -> String

showList :: [ScalarData] -> ShowS

PrettyS ScalarData

Defined in Language.Egison.Pretty

Methods

prettyS :: ScalarData -> String

Show (Index ScalarData)

Defined in Language.Egison.MathExpr

Methods

showsPrec :: Int -> Index ScalarData -> ShowS

show :: Index ScalarData -> String

showList :: [Index ScalarData] -> ShowS

newtype PolyExpr

Constructors

Plus [TermExpr]

Instances

Eq PolyExpr

Defined in Language.Egison.MathExpr

Methods

(==) :: PolyExpr -> PolyExpr -> Bool

(/=) :: PolyExpr -> PolyExpr -> Bool

Show PolyExpr

Defined in Language.Egison.MathExpr

Methods

showsPrec :: Int -> PolyExpr -> ShowS

show :: PolyExpr -> String

showList :: [PolyExpr] -> ShowS

PrettyS PolyExpr

Defined in Language.Egison.Pretty

Methods

prettyS :: PolyExpr -> String

data TermExpr

Constructors

Term Integer Monomial

Instances

Eq TermExpr

Defined in Language.Egison.MathExpr

Methods

(==) :: TermExpr -> TermExpr -> Bool

(/=) :: TermExpr -> TermExpr -> Bool

Show TermExpr

Defined in Language.Egison.MathExpr

Methods

showsPrec :: Int -> TermExpr -> ShowS

show :: TermExpr -> String

showList :: [TermExpr] -> ShowS

PrettyS TermExpr

Defined in Language.Egison.Pretty

Methods

prettyS :: TermExpr -> String

data SymbolExpr

Constructors

Symbol Id String [Index ScalarData]

Apply ScalarData [ScalarData]

Quote ScalarData

FunctionData ScalarData [ScalarData] [ScalarData] [Index ScalarData]

Instances

Eq SymbolExpr

Defined in Language.Egison.MathExpr

Methods

(==) :: SymbolExpr -> SymbolExpr -> Bool

(/=) :: SymbolExpr -> SymbolExpr -> Bool

Show SymbolExpr

Defined in Language.Egison.MathExpr

Methods

showsPrec :: Int -> SymbolExpr -> ShowS

show :: SymbolExpr -> String

showList :: [SymbolExpr] -> ShowS

PrettyS SymbolExpr

Defined in Language.Egison.Pretty

Methods

prettyS :: SymbolExpr -> String

Scalar

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