linear-grammar-0.0.1.6: A simple grammar for building linear equations and inclusive inequalities.

Safe Haskell	Safe
Language	Haskell2010

Linear.Grammar

Contents

User-facing API
Linear Expressions
Linear Inequalities
Standard Form

Synopsis

User-facing API

data LinAst Source

User-facing abstract syntax tree

Constructors

EVar String
ELit Double
ECoeff LinAst Double
EAdd LinAst LinAst

Instances

Eq LinAst Source
Show LinAst Source
IsString LinAst Source	Doesn't solve the ridde, but it helps.
Arbitrary LinAst Source
Coefficient Double LinAst Source
Coefficient LinAst Double Source

(.+.) :: LinAst -> LinAst -> LinAst infixr 8 Source

class Coefficient x y where Source

Methods

(.*.) :: x -> y -> LinAst infixr 9 Source

Instances

Coefficient Double LinAst Source
Coefficient LinAst Double Source

multLin :: LinAst -> LinAst Source

Pushes ECoeff down the tree, leaving EAdd at the top level. After using this funciton, all ECoeff constructors LinAst parameter will be EVar.

Linear Expressions

data LinVar Source

Constructors

LinVar
Fields varName :: String varCoeff :: Double

Instances

Eq LinVar Source
Ord LinVar Source	For sorting tableaus
Show LinVar Source
Arbitrary LinVar Source

eqLinVar :: LinVar -> LinVar -> Bool Source

Boolean equality with e^-6 precision.

eqLinVars :: [LinVar] -> [LinVar] -> Bool Source

hasName :: String -> LinVar -> Bool Source

mapName :: (String -> String) -> LinVar -> LinVar Source

hasCoeff :: Double -> LinVar -> Bool Source

mapCoeff :: (Double -> Double) -> LinVar -> LinVar Source

data LinExpr Source

Linear expressions suited for normal and standard form.

Constructors

LinExpr
Fields exprVars :: [LinVar] exprConst :: Double

Instances

Eq LinExpr Source
Show LinExpr Source
Arbitrary LinExpr Source

eqLinExpr :: LinExpr -> LinExpr -> Bool Source

Boolean equality with e^-6 precision.

mergeLinExpr :: LinExpr -> LinExpr -> LinExpr Source

addLin :: LinAst -> LinExpr Source

Turns LinAst to LinExpr - should be done after multLin.

removeDupLin :: LinExpr -> LinExpr Source

Merged duplicate LinVars in a LinExpr. Should be used after addLin.

makeLinExpr :: LinAst -> LinExpr Source

Linear Inequalities

data Ineq Source

Constructors

Equ LinExpr LinExpr
Lte LinExpr LinExpr

Instances

Eq Ineq Source
Show Ineq Source
Arbitrary Ineq Source

(.==.) :: LinAst -> LinAst -> Ineq infixl 7 Source

(.<=.) :: LinAst -> LinAst -> Ineq infixl 7 Source

(.=>.) :: LinAst -> LinAst -> Ineq infixl 7 Source

Standard Form

data IneqStdForm Source

Constructors

EquStd [LinVar] Double
LteStd [LinVar] Double
GteStd [LinVar] Double

Instances

Eq IneqStdForm Source
Show IneqStdForm Source
Arbitrary IneqStdForm Source

eqIneqStdForm :: IneqStdForm -> IneqStdForm -> Bool Source

Boolean equality with e^-6 precision.

getStdVars :: IneqStdForm -> [LinVar] Source

mapStdVars :: ([LinVar] -> [LinVar]) -> IneqStdForm -> IneqStdForm Source

getStdConst :: IneqStdForm -> Double Source

mapStdConst :: (Double -> Double) -> IneqStdForm -> IneqStdForm Source

standardForm :: Ineq -> IneqStdForm Source

Turns a user-level AST to a structurally standard from inequality.

standardize :: Ineq -> Ineq Source

Standardizes user-level inequalities - to be used before standardForm.