License	MIT
Safe Haskell	None
Language	Haskell2010

Language.Egison.Math.Expr

Description

This module defines the internal representation of mathematic objects such as polynominals, and some useful patterns.

Documentation

data ScalarData Source #

Constructors

Div PolyExpr PolyExpr

Instances

Instances details

Eq ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr Methods (==) :: ScalarData -> ScalarData -> Bool # (/=) :: ScalarData -> ScalarData -> Bool #
Show ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr Methods showsPrec :: Int -> ScalarData -> ShowS # show :: ScalarData -> String # showList :: [ScalarData] -> ShowS #
Printable ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: ScalarData -> Bool Source # pretty :: ScalarData -> String Source #
ToMathExpr ScalarData Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: ScalarData -> MathExpr Source #
ValuePattern ScalarM ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr Methods value :: ScalarData -> Pattern () ScalarM ScalarData () # valueM :: ScalarM -> ScalarData -> () #
Show (Index ScalarData) Source #
Instance details Defined in Language.Egison.Math.Expr Methods showsPrec :: Int -> Index ScalarData -> ShowS # show :: Index ScalarData -> String # showList :: [Index ScalarData] -> ShowS #
Matcher ScalarM ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr

newtype PolyExpr Source #

Constructors

Plus [TermExpr]

Instances

Instances details

Eq PolyExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods (==) :: PolyExpr -> PolyExpr -> Bool # (/=) :: PolyExpr -> PolyExpr -> Bool #
Show PolyExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods showsPrec :: Int -> PolyExpr -> ShowS # show :: PolyExpr -> String # showList :: [PolyExpr] -> ShowS #
Printable PolyExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: PolyExpr -> Bool Source # pretty :: PolyExpr -> String Source #
ToMathExpr PolyExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: PolyExpr -> MathExpr Source #

data TermExpr Source #

Constructors

Term Integer Monomial

Instances

Instances details

Eq TermExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods (==) :: TermExpr -> TermExpr -> Bool # (/=) :: TermExpr -> TermExpr -> Bool #
Show TermExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods showsPrec :: Int -> TermExpr -> ShowS # show :: TermExpr -> String # showList :: [TermExpr] -> ShowS #
Printable TermExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: TermExpr -> Bool Source # pretty :: TermExpr -> String Source #
ToMathExpr TermExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: TermExpr -> MathExpr Source #
Matcher TermM TermExpr Source #
Instance details Defined in Language.Egison.Math.Expr

type Monomial = [(SymbolExpr, Integer)] Source #

data SymbolExpr Source #

Constructors

Symbol Id String [Index ScalarData]
Apply ScalarData [ScalarData]
Quote ScalarData
FunctionData ScalarData [ScalarData] [ScalarData]

Instances

Instances details

Eq SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods (==) :: SymbolExpr -> SymbolExpr -> Bool # (/=) :: SymbolExpr -> SymbolExpr -> Bool #
Show SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods showsPrec :: Int -> SymbolExpr -> ShowS # show :: SymbolExpr -> String # showList :: [SymbolExpr] -> ShowS #
Printable SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: SymbolExpr -> Bool Source # pretty :: SymbolExpr -> String Source #
ToMathExpr SymbolExpr Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: SymbolExpr -> MathExpr Source #
ValuePattern SymbolM SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods value :: SymbolExpr -> Pattern () SymbolM SymbolExpr () # valueM :: SymbolM -> SymbolExpr -> () #
Matcher SymbolM SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr
ToMathExpr (SymbolExpr, Integer) Source #
Instance details Defined in Language.Egison.PrettyMath.AST Methods toMathExpr :: (SymbolExpr, Integer) -> MathExpr Source #

class Printable a where Source #

Methods

isAtom :: a -> Bool Source #

pretty :: a -> String Source #

Instances

Instances details

Printable SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: SymbolExpr -> Bool Source # pretty :: SymbolExpr -> String Source #
Printable TermExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: TermExpr -> Bool Source # pretty :: TermExpr -> String Source #
Printable PolyExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: PolyExpr -> Bool Source # pretty :: PolyExpr -> String Source #
Printable ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr Methods isAtom :: ScalarData -> Bool Source # pretty :: ScalarData -> String Source #

pattern ZeroExpr :: ScalarData Source #

pattern SingleSymbol :: SymbolExpr -> ScalarData Source #

pattern SingleTerm :: Integer -> Monomial -> ScalarData Source #

data ScalarM Source #

Constructors

ScalarM

Instances

Instances details

ValuePattern ScalarM ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr Methods value :: ScalarData -> Pattern () ScalarM ScalarData () # valueM :: ScalarM -> ScalarData -> () #
Matcher ScalarM ScalarData Source #
Instance details Defined in Language.Egison.Math.Expr

data TermM Source #

Constructors

TermM

Instances

Instances details

Matcher TermM TermExpr Source #
Instance details Defined in Language.Egison.Math.Expr

data SymbolM Source #

Constructors

SymbolM

Instances

Instances details

ValuePattern SymbolM SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr Methods value :: SymbolExpr -> Pattern () SymbolM SymbolExpr () # valueM :: SymbolM -> SymbolExpr -> () #
Matcher SymbolM SymbolExpr Source #
Instance details Defined in Language.Egison.Math.Expr

term :: Pattern (PP Integer, PP Monomial) TermM TermExpr (Integer, Monomial) Source #

termM :: TermM -> TermExpr -> (Eql, Multiset (Pair SymbolM Eql)) Source #

symbol :: Pattern (PP String) SymbolM SymbolExpr String Source #

symbolM :: SymbolM -> p -> Eql Source #

func :: Pattern (PP ScalarData, PP [ScalarData]) SymbolM SymbolExpr (ScalarData, [ScalarData]) Source #

funcM :: SymbolM -> SymbolExpr -> (ScalarM, List ScalarM) Source #

apply :: Pattern (PP String, PP [ScalarData]) SymbolM SymbolExpr (String, [ScalarData]) Source #

applyM :: SymbolM -> p -> (Eql, List ScalarM) Source #

quote :: Pattern (PP ScalarData) SymbolM SymbolExpr ScalarData Source #

negQuote :: Pattern (PP ScalarData) SymbolM SymbolExpr ScalarData Source #

negQuoteM :: SymbolM -> p -> ScalarM Source #

equalMonomial :: Pattern (PP Integer, PP Monomial) (Multiset (Pair SymbolM Eql)) Monomial (Integer, Monomial) Source #

equalMonomialM :: Multiset (Pair SymbolM Eql) -> p -> (Eql, Multiset (Pair SymbolM Eql)) Source #

zero :: Pattern () ScalarM ScalarData () Source #

zeroM :: ScalarM -> p -> () Source #

singleTerm :: Pattern (PP Integer, PP Integer, PP Monomial) ScalarM ScalarData (Integer, Integer, Monomial) Source #

singleTermM :: ScalarM -> p -> (Eql, Eql, Multiset (Pair SymbolM Eql)) Source #

mathScalarMult :: Integer -> ScalarData -> ScalarData Source #

mathNegate :: ScalarData -> ScalarData Source #