Language.Egison.Math

This module provides the interface of Egison's computer algebra system.

Documentation

data ScalarData

Constructors

Div PolyExpr PolyExpr

Instances

Eq ScalarData

Defined in Language.Egison.Math.Expr

Methods

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

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

Show ScalarData

Defined in Language.Egison.Math.Expr

Methods

showsPrec :: Int -> ScalarData -> ShowS

show :: ScalarData -> String

showList :: [ScalarData] -> ShowS

Printable ScalarData

Defined in Language.Egison.Math.Expr

Methods

isAtom :: ScalarData -> Bool

pretty :: ScalarData -> String

ToMathExpr ScalarData

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: ScalarData -> MathExpr

ValuePattern ScalarM ScalarData

Defined in Language.Egison.Math.Expr

Methods

value :: ScalarData -> Pattern () ScalarM ScalarData ()

valueM :: ScalarM -> ScalarData -> ()

Show (Index ScalarData)

Defined in Language.Egison.Math.Expr

Methods

showsPrec :: Int -> Index ScalarData -> ShowS

show :: Index ScalarData -> String

showList :: [Index ScalarData] -> ShowS

Matcher ScalarM ScalarData

Defined in Language.Egison.Math.Expr

newtype PolyExpr

Constructors

Plus [TermExpr]

Instances

Eq PolyExpr

Defined in Language.Egison.Math.Expr

Methods

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

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

Show PolyExpr

Defined in Language.Egison.Math.Expr

Methods

showsPrec :: Int -> PolyExpr -> ShowS

show :: PolyExpr -> String

showList :: [PolyExpr] -> ShowS

Printable PolyExpr

Defined in Language.Egison.Math.Expr

Methods

isAtom :: PolyExpr -> Bool

pretty :: PolyExpr -> String

ToMathExpr PolyExpr

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: PolyExpr -> MathExpr

data TermExpr

Constructors

Term Integer Monomial

Instances

Eq TermExpr

Defined in Language.Egison.Math.Expr

Methods

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

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

Show TermExpr

Defined in Language.Egison.Math.Expr

Methods

showsPrec :: Int -> TermExpr -> ShowS

show :: TermExpr -> String

showList :: [TermExpr] -> ShowS

Printable TermExpr

Defined in Language.Egison.Math.Expr

Methods

isAtom :: TermExpr -> Bool

pretty :: TermExpr -> String

ToMathExpr TermExpr

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: TermExpr -> MathExpr

Matcher TermM TermExpr

Defined in Language.Egison.Math.Expr

type Monomial = [(SymbolExpr, Integer)]

data SymbolExpr

Constructors

Symbol Id String [Index ScalarData]

Apply ScalarData [ScalarData]

Quote ScalarData

FunctionData ScalarData [ScalarData] [ScalarData]

Instances

Eq SymbolExpr

Defined in Language.Egison.Math.Expr

Methods

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

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

Show SymbolExpr

Defined in Language.Egison.Math.Expr

Methods

showsPrec :: Int -> SymbolExpr -> ShowS

show :: SymbolExpr -> String

showList :: [SymbolExpr] -> ShowS

Printable SymbolExpr

Defined in Language.Egison.Math.Expr

Methods

isAtom :: SymbolExpr -> Bool

pretty :: SymbolExpr -> String

ToMathExpr SymbolExpr

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: SymbolExpr -> MathExpr

ValuePattern SymbolM SymbolExpr

Defined in Language.Egison.Math.Expr

Methods

value :: SymbolExpr -> Pattern () SymbolM SymbolExpr ()

valueM :: SymbolM -> SymbolExpr -> ()

Matcher SymbolM SymbolExpr

Defined in Language.Egison.Math.Expr

ToMathExpr (SymbolExpr, Integer)

Defined in Language.Egison.PrettyMath.AST

Methods

toMathExpr :: (SymbolExpr, Integer) -> MathExpr

class Printable a where

Methods

isAtom :: a -> Bool

pretty :: a -> String

Instances

Printable SymbolExpr

Defined in Language.Egison.Math.Expr

Methods

isAtom :: SymbolExpr -> Bool

pretty :: SymbolExpr -> String

Printable TermExpr

Defined in Language.Egison.Math.Expr

Methods

isAtom :: TermExpr -> Bool

pretty :: TermExpr -> String

Printable PolyExpr

Defined in Language.Egison.Math.Expr

Methods

isAtom :: PolyExpr -> Bool

pretty :: PolyExpr -> String

Printable ScalarData

Defined in Language.Egison.Math.Expr

Methods

isAtom :: ScalarData -> Bool

pretty :: ScalarData -> String

pattern ZeroExpr :: ScalarData

pattern SingleSymbol :: SymbolExpr -> ScalarData

pattern SingleTerm :: Integer -> Monomial -> ScalarData

mathNormalize' :: ScalarData -> ScalarData

rewriteSymbol :: ScalarData -> ScalarData

mathPlus :: ScalarData -> ScalarData -> ScalarData

mathMult :: ScalarData -> ScalarData -> ScalarData

mathDiv :: ScalarData -> ScalarData -> ScalarData

mathNumerator :: ScalarData -> ScalarData

mathDenominator :: ScalarData -> ScalarData

mathNegate :: ScalarData -> ScalarData