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

Packages that use RationalExpression

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

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

Subinterfaces of RationalExpression in dev.civl.sarl.ideal.IF

Modifier and Type	Interface	Description
interface	Constant	A constant, i.e., a concrete number.
interface	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.
interface	Monomial	A Monomial is the product of a constant and a Monic.
interface	Polynomial	A polynomial: an expression which is the sum of monomials.
interface	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.
interface	PrimitivePower	A power of a Primitive expression, xi, where x is a Primitive and i is a concrete positive int.

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

Modifier and Type	Method	Description
RationalExpression	IdealFactory.add(NumericExpression arg0, NumericExpression arg1)
RationalExpression	IdealFactory.divide(NumericExpression arg0, NumericExpression arg1)
RationalExpression	IdealFactory.expression(SymbolicExpression.SymbolicOperator operator, SymbolicType numericType, SymbolicObject... arguments)
RationalExpression	IdealFactory.multiply(NumericExpression arg0, NumericExpression arg1)
RationalExpression	IdealFactory.ntRationalExpression(Monomial numerator, Monomial denominator)	Constructs new instance of NTRationalExpression.
RationalExpression	IdealFactory.power(NumericExpression arg0, NumericExpression arg1)
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.
RationalExpression	IdealFactory.subtract(NumericExpression arg0, NumericExpression arg1)

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

Modifier and Type	Method	Description
IntegerNumber	IdealFactory.getConcreteExponent(RationalExpression exponent)	Given the exponent in a potential power expression, this method computes a concrete integer that can be factored out of that exponent so that the exponent is in canonical form.
BooleanExpression	IdealFactory.isNonnegative(RationalExpression rational)	Given a rational expression rational returns an expression equivalent to 0≤rational.
BooleanExpression	IdealFactory.isPositive(RationalExpression rational)	Given a rational expression rational returns an expression equivalent to 0<rational.
RationalExpression	RationalExpression.powerRational(IdealFactory factory, RationalExpression exponent)	Computes an expression equivalent to raising this expression to the exponent power.