Uses of Interface
dev.civl.sarl.ideal.IF.Polynomial

Packages that use Polynomial

Package	Description
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.

Uses of Polynomial in dev.civl.sarl.ideal.IF

Methods in dev.civl.sarl.ideal.IF that return Polynomial

Modifier and Type	Method	Description
Polynomial	IdealFactory.polynomial(SymbolicType type, Monomial[] terms)	Produces the result of summing the Monomials of a term map as a Polynomial.