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

Packages that use IdealFactory

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.

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

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

Modifier and Type	Method	Description
static IdealFactory	Ideal.newIdealFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)	Creates a new ideal factory based on the given factories.

Methods in dev.civl.sarl.ideal.IF with parameters of type IdealFactory

Modifier and Type	Method	Description
Constant	Polynomial.constantTerm(IdealFactory factory)	The constant term of this polynomial, which may be 0.
Monomial	RationalExpression.denominator(IdealFactory factory)	Returns the denominator of this rational expression.
Monomial[]	Monomial.expand(IdealFactory factory)	Returns the expansion of this monomial.
boolean	Monomial.hasNontrivialExpansion(IdealFactory factory)	Determines whether or not this monomial could possibly have a non-trivial expansion.
boolean	Polynomial.hasTermWithNontrivialExpansion(IdealFactory factory)	Does this polynomial contain a term with a nontrivial factorization? This is stronger than asking if the polynomial has a nontrivial factorization.
Monomial[]	Monomial.lower(IdealFactory factory)	Computes a term map from performing a single outer-level expansion.
Monic	Monomial.monic(IdealFactory factory)	Returns the monic factor of this monomial.
PrimitivePower[]	Monic.monicFactors(IdealFactory factory)	Returns the factors of this monic as a map from Primitive to PrimitivePower.
Constant	Monomial.monomialConstant(IdealFactory factory)	Returns the constant factor of this monomial.
int	Monomial.monomialOrder(IdealFactory factory)	Computes the "monomial order" of this Monomial.
Monomial	RationalExpression.numerator(IdealFactory factory)	Returns the numerator of this rational expression
Constant	Constant.powerInt(IdealFactory factory, IntegerNumber exponent)
Monic	Monic.powerInt(IdealFactory factory, IntegerNumber exponent)
Monomial	Monomial.powerInt(IdealFactory factory, IntegerNumber exponent)
PrimitivePower	PrimitivePower.powerInt(IdealFactory factory, IntegerNumber exponent)
RationalExpression	RationalExpression.powerInt(IdealFactory factory, IntegerNumber exponent)	Computes an expression equivalent to raising this expression to the exponent power.
RationalExpression	RationalExpression.powerRational(IdealFactory factory, RationalExpression exponent)	Computes an expression equivalent to raising this expression to the exponent power.
Primitive	PrimitivePower.primitive(IdealFactory factory)	Returns the Primitive which is the base in this primitive power expression.
NumberObject	PrimitivePower.primitivePowerExponent(IdealFactory factory)	Returns the exponent in this primitive power expression, which is a positive integer represented as an NumberObject.
Monomial[]	Monomial.termMap(IdealFactory factory)	Returns the term map of this monomial.

Uses of IdealFactory in dev.civl.sarl.reason.IF

Methods in dev.civl.sarl.reason.IF with parameters of type IdealFactory

Modifier and Type	Method	Description
static ReasonerFactory	Reason.newReasonerFactory(PreUniverse universe, IdealFactory idealFactory, TheoremProverFactory proverFactory)	Create a reasoner factory