Linear.Grammar

User-facing API

data LinAst

(.+.)

class Coefficient x y

multLin

Linear Expressions

data LinVar

hasName

mapName

hasCoeff

mapCoeff

data LinExpr

mergeLinExpr

addLin

removeDupLin

makeLinExpr

Linear Inequalities

data Ineq

(.==.)

(.<=.)

(.=>.)

Standard Form

data IneqStdForm

getStdVars

mapStdVars

getStdConst

mapStdConst

standardForm

standardize

hasNoDups

between1000Rational