Math.ExpPairs.LinearForm
data LinearForm t
scaleLF
evalLF
substituteLF
data RationalForm t
evalRF
data IneqType
data Constraint t
checkConstraint