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

Packages that use Constant

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

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

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

Modifier and Type	Method	Description
Constant	IdealFactory.constant(Number number)	Returns a Constant wrapping the given concrete Number.
Constant	Polynomial.constantTerm(IdealFactory factory)	The constant term of this polynomial, which may be 0.
Constant	IdealFactory.intConstant(int value)	Returns an integer Constant wrapping a Java int value.
Constant	Monomial.monomialConstant(IdealFactory factory)	Returns the constant factor of this monomial.
Constant	IdealFactory.one(SymbolicType type)	Returns either the integer number one (1) or the real number 1 (1.0).
Constant	Constant.powerInt(IdealFactory factory, IntegerNumber exponent)
Constant	IdealFactory.zero(SymbolicType type)	Returns either the integer constant 0 or the real constant 0, according to the given type.
Constant	IdealFactory.zeroInt()
Constant	IdealFactory.zeroReal()

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

Modifier and Type	Method	Description
Monomial	IdealFactory.monomial(Constant constant, Monic monic)	Returns a Monomial which is the product of the given constant and the given monic.
Monomial	IdealFactory.multiplyConstantMonomial(Constant constant, Monomial monomial)	Returns the product of a Constant and a Monomial of the same type.
Monomial[]	IdealFactory.multiplyConstantTermMap(Constant constant, Monomial[] map)	Computes the term map obtained by multiplying the given Constant with every term in a given term map.