egison-4.2.1: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageGHC2021

Language.Egison.Math

Description

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

Documentation

data ScalarData Source #

Constructors

Div PolyExpr PolyExpr 

Instances

Instances details
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 #

Eq ScalarData Source # 
Instance details

Defined in Language.Egison.Math.Expr

Methods

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

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

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

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 #

newtype PolyExpr Source #

Constructors

Plus [TermExpr] 

Instances

Instances details
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 #

Eq PolyExpr Source # 
Instance details

Defined in Language.Egison.Math.Expr

Methods

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

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

data TermExpr Source #

Constructors

Term Integer Monomial 

Instances

Instances details
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 #

Eq TermExpr Source # 
Instance details

Defined in Language.Egison.Math.Expr

Methods

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

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

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
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 #

Eq SymbolExpr Source # 
Instance details

Defined in Language.Egison.Math.Expr

Methods

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

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

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 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 #

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 #

pattern ZeroExpr :: ScalarData Source #

pattern SingleSymbol :: SymbolExpr -> ScalarData Source #

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

mathNormalize' :: ScalarData -> ScalarData Source #

rewriteSymbol :: ScalarData -> ScalarData Source #

mathPlus :: ScalarData -> ScalarData -> ScalarData Source #

mathMult :: ScalarData -> ScalarData -> ScalarData Source #

mathDiv :: ScalarData -> ScalarData -> ScalarData Source #

mathNumerator :: ScalarData -> ScalarData Source #

mathDenominator :: ScalarData -> ScalarData Source #

mathNegate :: ScalarData -> ScalarData Source #