Linear.Grammar

User-facing API

data LinAst

(.+.)

class Coefficient x y

multLin

Linear Expressions

data LinVar

hasName

data LinExpr

mergeLinExpr

addLin

removeDupLin

makeLinExpr

Linear Inequalities

data Ineq

(.==.)

(.<=.)

(.=>.)

Standard Form

data IneqStdForm

standardize

standardForm