Linear.Grammar

User-facing API

data LinAst

(.+.)

class Coefficient x y

multLin

Linear Expressions

data LinVar

eqLinVar

hasName

mapName

hasCoeff

mapCoeff

data LinExpr

eqLinExpr

mergeLinExpr

addLin

removeDupLin

makeLinExpr

Linear Inequalities

data Ineq

(.==.)

(.<=.)

(.=>.)

Standard Form

data IneqStdForm

eqIneqStdForm

getStdVars

mapStdVars

getStdConst

mapStdConst

standardForm

standardize