Math.ExpPairs.LinearForm

data LinearForm t

scaleLF

evalLF

substituteLF

data RationalForm t

evalRF

data IneqType

data Constraint t

checkConstraint