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 Rational
ECoeff LinAst Rational
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 Rational LinAst Source
Coefficient LinAst Rational Source

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

class Coefficient x y where Source

Methods

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

Instances

Coefficient Rational LinAst Source
Coefficient LinAst Rational 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 :: Rational

Instances

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

hasName :: String -> LinVar -> Bool Source

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

hasCoeff :: Rational -> LinVar -> Bool Source

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

data LinExpr Source

Linear expressions suited for normal and standard form.

Constructors

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

Instances

Eq LinExpr Source
Show LinExpr Source
Arbitrary LinExpr Source

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] Rational
LteStd [LinVar] Rational
GteStd [LinVar] Rational

Instances

Eq IneqStdForm Source
Show IneqStdForm Source
Arbitrary IneqStdForm Source

getStdVars :: IneqStdForm -> [LinVar] Source

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

getStdConst :: IneqStdForm -> Rational Source

mapStdConst :: (Rational -> Rational) -> 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.

hasNoDups :: Ord a => [a] -> Bool Source

between1000Rational :: Gen Rational Source