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

Packages that use RationalNumber

Package	Description
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.IF.object	The object package provides the SymbolicObject interface, which is the root of the symbolic object type hierarchy.

Uses of RationalNumber in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return RationalNumber

Modifier and Type	Method	Description
RationalNumber	CoreUniverse.getProbabilisticBound()	The upper bound on the probability of error when deciding whether a polynomial is 0.

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

Modifier and Type	Method	Description
void	CoreUniverse.setProbabilisticBound(RationalNumber epsilon)	Sets the upper bound on the probability of error when deciding whether a polynomial is 0.

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

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

Modifier and Type	Method	Description
RationalNumber	NumberFactory.add(RationalNumber arg0, RationalNumber arg1)	Adds two rational numbers and returns the result.
RationalNumber	NumberFactory.decrement(RationalNumber arg)	arg-1.0
RationalNumber	NumberFactory.divide(RationalNumber arg0, RationalNumber arg1)	Divides two rational numbers and returns the result.
RationalNumber	NumberFactory.fraction(IntegerNumber numerator, IntegerNumber denominator)	Returns the rational number which is the quotient of the two integers.
RationalNumber	NumberFactory.increment(RationalNumber arg)	add(arg, 1.0)
RationalNumber	NumberFactory.infiniteRational(boolean isPositiveInfinity)	Returns an infinite RationalNumber, its signum is determined by the given boolean value.
RationalNumber	NumberFactory.integerToRational(IntegerNumber integer)	Casts an integer to a rational number.
RationalNumber	NumberFactory.multiply(RationalNumber arg0, RationalNumber arg1)	Multiplies two rational numbers and returns the result.
RationalNumber	NumberFactory.negate(RationalNumber arg0)	Returns the negation of the given rational number, i.e., -x.
RationalNumber	NumberFactory.negativeInfinityRational()	Return a RationalNumber representing the negative infinity.
RationalNumber	NumberFactory.oneRational()	The rational number one.
RationalNumber	NumberFactory.positiveInfinityRational()	Return a RationalNumber representing the positive infinity.
RationalNumber	NumberFactory.power(RationalNumber number, int exp)	Calculate the given rational number powering a given exponent and returns result.
RationalNumber	NumberFactory.power(RationalNumber number, IntegerNumber exp)	Calculate the given RationalNumber base powering a given IntegerNumber exponent and returns result.
RationalNumber	NumberFactory.rational(Number number)	Returns a rational representation of the number.
RationalNumber	NumberFactory.rational(String string)	Returns the rational number specified by the given string, where the string is a decimal representation of the number.
RationalNumber	NumberFactory.rational(BigInteger numerator, BigInteger denominator)	Returns the rational number which is the quotient of the two given integers.
RationalNumber	NumberFactory.subtract(RationalNumber arg0, RationalNumber arg1)	Subtracts two rational numbers and returns the result.
RationalNumber	NumberFactory.zeroRational()	The rational number zero.

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

Modifier and Type	Method	Description
RationalNumber	NumberFactory.add(RationalNumber arg0, RationalNumber arg1)	Adds two rational numbers and returns the result.
IntegerNumber	NumberFactory.ceil(RationalNumber arg0)	Returns the least integer greater than or equal to the given rational number.
int	NumberFactory.compare(RationalNumber arg0, RationalNumber arg1)	Returns a positive value if arg0>arg1, 0 if arg0 equals arg1, -1 if arg0invalid input: '<'arg1.
RationalNumber	NumberFactory.decrement(RationalNumber arg)	arg-1.0
IntegerNumber	NumberFactory.denominator(RationalNumber arg0)	Returns the denominator in a representation of the rational number as the quotient of two integers.
RationalNumber	NumberFactory.divide(RationalNumber arg0, RationalNumber arg1)	Divides two rational numbers and returns the result.
IntegerNumber	NumberFactory.floor(RationalNumber arg0)	Returns the greatest integer less than or equal to the given rational number.
boolean	NumberFactory.gaussianElimination(RationalNumber[][] matrix)	Performs Gauss-Jordan Elimination on a matrix of rational numbers, transforming the matrix to reduced row echelon form.
RationalNumber	NumberFactory.increment(RationalNumber arg)	add(arg, 1.0)
IntegerNumber	NumberFactory.integerValue(RationalNumber arg0)	Returns the value of the rational number as an integer number.
boolean	NumberFactory.isIntegral(RationalNumber arg0)	Returns true iff the rational number is an integer, e.g., "3.0", or "4/2".
RationalNumber	NumberFactory.multiply(RationalNumber arg0, RationalNumber arg1)	Multiplies two rational numbers and returns the result.
RationalNumber	NumberFactory.negate(RationalNumber arg0)	Returns the negation of the given rational number, i.e., -x.
IntegerNumber	NumberFactory.numerator(RationalNumber arg0)	Returns the numerator in a representation of the rational number as the quotient of two integers.
RationalNumber	NumberFactory.power(RationalNumber number, int exp)	Calculate the given rational number powering a given exponent and returns result.
RationalNumber	NumberFactory.power(RationalNumber number, IntegerNumber exp)	Calculate the given RationalNumber base powering a given IntegerNumber exponent and returns result.
boolean	NumberFactory.relativeGaussianElimination(RationalNumber[][] mat1, RationalNumber[][] mat2)	Performs a form of "relative Gauss-Jordan elimination".
String	NumberFactory.scientificString(RationalNumber num, int numSig)	Constructs a string representation of the given rational number in scientific notation: x.xxxx * 10^{-yyy}.
RationalNumber	NumberFactory.subtract(RationalNumber arg0, RationalNumber arg1)	Subtracts two rational numbers and returns the result.

Uses of RationalNumber in dev.civl.sarl.IF.object

Methods in dev.civl.sarl.IF.object that return RationalNumber

Modifier and Type	Method	Description
RationalNumber	SymbolicObject.getOrder()	Experimental: get the number which imposes a total order on the set of all canonic symbolic object.

Methods in dev.civl.sarl.IF.object with parameters of type RationalNumber

Modifier and Type	Method	Description
void	SymbolicObject.setOrder(RationalNumber order)	Experimental: sets the number which imposes a total order on the set of all canonic symbolic object.