Uses of Package
dev.civl.sarl.ideal.IF

Packages that use dev.civl.sarl.ideal.IF

Package	Description
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.reason.IF	The internal interface for the "reason" module, which deals with Reasoners --- objects used to prove theorems and simplify symbolic expressions.

Classes in dev.civl.sarl.ideal.IF used by dev.civl.sarl.ideal.IF

Class	Description
Constant	A constant, i.e., a concrete number.
IdealFactory	An IdealFactory provides a few services beyond those guaranteed by an arbitrary NumericExpressionFactory.
Monic	A Monic is a product of powers of primitive expressions x1i 1*...*xnin, where the x i are primitives and the ij are positive concrete ints.
Monomial	A Monomial is the product of a constant and a Monic.
Polynomial	A polynomial: an expression which is the sum of monomials.
Primitive	A numeric primitive expression, e.g., a symbolic constant of numeric type, an array read expression of numeric type, or a tuple read expression of numeric type.
PrimitivePower	A power of a Primitive expression, xi, where x is a Primitive and i is a concrete positive int.
RationalExpression	A RationalExpression is the quotient of two Monomials of real type.

Classes in dev.civl.sarl.ideal.IF used by dev.civl.sarl.reason.IF

Class	Description
IdealFactory	An IdealFactory provides a few services beyond those guaranteed by an arbitrary NumericExpressionFactory.