Represents a collection of polynomials
Graded Lexicographical ordering
Graded Reverse Lexicographical ordering (Using the termOrdering!)
Simple class to derive interval bounds for the constants in a proof goal
Main class for interval constraint propagation.
The pairs withing the list of a monomial are sorted in descending order (e.g.
The ConstantTerms in list are given highest order according to the sorting of list.
INVARIANT: If t1 is before t2 in list, then t1 > t2
Implementation of a theory of non-linear integer arithmetic.