Uses of Interface
dev.civl.sarl.IF.number.IntegerNumber

Packages that use IntegerNumber

Package	Description
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.number	The number package supports infinite-precision integer and rational numbers.
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.

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

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

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.
IntegerNumber	Monomial.maxDegreeOf(NumberFactory factory, Primitive primitive)	Computes the maximum degree to which primitive occurs in this Monomial.
IntegerNumber	Monomial.monomialDegree(NumberFactory factory)	Returns the degree of the monic where each factor is considered to have degree 1.
IntegerNumber	Polynomial.polynomialDegree(NumberFactory factory)	The "polynomial degree" is the maximum monomial degree of the terms comprising this polynomial.
IntegerNumber	Monomial.totalDegree(NumberFactory factory)	The degree of this monomial if it were fully expanded to a polynomial in which the variables cannot be expressed as the sum, product, difference, or quotient of expressions.

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

Modifier and Type	Method	Description
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.

Uses of IntegerNumber in dev.civl.sarl.IF

Fields in dev.civl.sarl.IF declared as IntegerNumber

Modifier and Type	Field	Description
static IntegerNumber	SARLConstants.polyProbThreshold	Used in a heuristic to determine when to use probabilistic methods to determine polynomial zero-ness.

Methods in dev.civl.sarl.IF with parameters of type IntegerNumber

Modifier and Type	Method	Description
NumericExpression	CoreUniverse.power(NumericExpression base, IntegerNumber exponent)	Concrete power operator: eb, where b is a concrete non-negative IntegerNumber.

Uses of IntegerNumber in dev.civl.sarl.IF.number

Methods in dev.civl.sarl.IF.number that return IntegerNumber

Modifier and Type	Method	Description
IntegerNumber	NumberFactory.add(IntegerNumber arg0, IntegerNumber arg1)	Adds two integer numbers and returns the result.
IntegerNumber	NumberFactory.ceil(RationalNumber arg0)	Returns the least integer greater than or equal to the given rational number.
IntegerNumber	NumberFactory.decrement(IntegerNumber arg)	arg - 1
IntegerNumber	NumberFactory.denominator(RationalNumber arg0)	Returns the denominator in a representation of the rational number as the quotient of two integers.
IntegerNumber	NumberFactory.divide(IntegerNumber arg0, IntegerNumber arg1)	Divides two integer numbers and returns the result.
IntegerNumber	NumberFactory.floor(RationalNumber arg0)	Returns the greatest integer less than or equal to the given rational number.
IntegerNumber	NumberFactory.gcd(IntegerNumber arg0, IntegerNumber arg1)	Returns the greatest common divisor of two integers.
IntegerNumber	NumberFactory.increment(IntegerNumber arg)	add(arg, 1)
IntegerNumber	NumberFactory.infiniteInteger(boolean isPositiveInfinity)	Returns an infinite IntegerNumber, its signum is determined by the given boolean value.
IntegerNumber	NumberFactory.integer(int value)	Returns an integer number corresponding to the given Java int.
IntegerNumber	NumberFactory.integer(long value)	Returns the IntegerNumber with value specified by the long.
IntegerNumber	NumberFactory.integer(String string)	Returns the integer number specified by the given string.
IntegerNumber	NumberFactory.integer(BigInteger big)	Returns the IntegerNumber with value specified by the BigInteger.
IntegerNumber	NumberFactory.integerValue(RationalNumber arg0)	Returns the value of the rational number as an integer number.
IntegerNumber	NumberFactory.lcm(IntegerNumber arg0, IntegerNumber arg1)	Returns the least common multiple of the two positive integers.
IntegerNumber	NumberFactory.mod(IntegerNumber arg0, IntegerNumber arg1)	Modulo operations.
IntegerNumber	NumberFactory.multiply(IntegerNumber arg0, IntegerNumber arg1)	Multiplies two integer numbers and returns the result.
IntegerNumber	NumberFactory.negate(IntegerNumber arg0)	Returns the negation of the given integer number, i.e., -x.
IntegerNumber	NumberFactory.negativeInfinityInteger()	Return a IntegerNumber representing the negative infinity.
IntegerNumber	NumberFactory.nthRootInt(IntegerNumber number, IntegerNumber n)	Calculate the nth root of the given number and n.
IntegerNumber	NumberFactory.numerator(RationalNumber arg0)	Returns the numerator in a representation of the rational number as the quotient of two integers.
IntegerNumber	NumberFactory.oneInteger()	The integer number zero.
IntegerNumber	NumberFactory.positiveInfinityInteger()	Return a IntegerNumber representing the positive infinity.
IntegerNumber	NumberFactory.power(IntegerNumber number, int exp)	Calculate the given integer number powering a given exponent and returns result.
IntegerNumber	NumberFactory.power(IntegerNumber number, IntegerNumber exp)	Calculate the given IntegerNumber base powering a given IntegerNumber exponent and returns result.
IntegerNumber	NumberFactory.subtract(IntegerNumber arg0, IntegerNumber arg1)	Subtracts two integer numbers and returns the result.
IntegerNumber	NumberFactory.zeroInteger()	The integer number zero.

Methods in dev.civl.sarl.IF.number with parameters of type IntegerNumber

Modifier and Type	Method	Description
IntegerNumber	NumberFactory.add(IntegerNumber arg0, IntegerNumber arg1)	Adds two integer numbers and returns the result.
int	NumberFactory.compare(IntegerNumber arg0, IntegerNumber arg1)	Returns a positive value if arg0 is greater than arg1, 0 if arg0 equals arg1, -1 if arg0 is less than arg1.
IntegerNumber	NumberFactory.decrement(IntegerNumber arg)	arg - 1
IntegerNumber	NumberFactory.divide(IntegerNumber arg0, IntegerNumber arg1)	Divides two integer numbers and returns the result.
RationalNumber	NumberFactory.fraction(IntegerNumber numerator, IntegerNumber denominator)	Returns the rational number which is the quotient of the two integers.
IntegerNumber	NumberFactory.gcd(IntegerNumber arg0, IntegerNumber arg1)	Returns the greatest common divisor of two integers.
IntegerNumber	NumberFactory.increment(IntegerNumber arg)	add(arg, 1)
RationalNumber	NumberFactory.integerToRational(IntegerNumber integer)	Casts an integer to a rational number.
IntegerNumber	NumberFactory.lcm(IntegerNumber arg0, IntegerNumber arg1)	Returns the least common multiple of the two positive integers.
IntegerNumber	NumberFactory.mod(IntegerNumber arg0, IntegerNumber arg1)	Modulo operations.
IntegerNumber	NumberFactory.multiply(IntegerNumber arg0, IntegerNumber arg1)	Multiplies two integer numbers and returns the result.
IntegerNumber	NumberFactory.negate(IntegerNumber arg0)	Returns the negation of the given integer number, i.e., -x.
IntegerNumber	NumberFactory.nthRootInt(IntegerNumber number, IntegerNumber n)	Calculate the nth root of the given number and n.
IntegerNumber	NumberFactory.power(IntegerNumber number, int exp)	Calculate the given integer number powering a given exponent and returns result.
IntegerNumber	NumberFactory.power(IntegerNumber number, IntegerNumber exp)	Calculate the given IntegerNumber base powering a given IntegerNumber exponent and returns result.
Interval	NumberFactory.power(Interval interval, IntegerNumber expr)	To calculate the power-result of a given non-null and not empty Interval with a given non-null non-negative IntegerNumber.
Number	NumberFactory.power(Number number, IntegerNumber exp)	Calculate the given Number base powering a given IntegerNumber exponent and returns result.
RationalNumber	NumberFactory.power(RationalNumber number, IntegerNumber exp)	Calculate the given RationalNumber base powering a given IntegerNumber exponent and returns result.
IntegerNumber	NumberFactory.subtract(IntegerNumber arg0, IntegerNumber arg1)	Subtracts two integer numbers and returns the result.

Uses of IntegerNumber in dev.civl.sarl.simplify.IF

Methods in dev.civl.sarl.simplify.IF with parameters of type IntegerNumber

Modifier and Type	Method	Description
Range	RangeFactory.power(Range range, IntegerNumber exp)	Return a Range containing all x^exp, where x is in range and exp is an IntegerNumber.