Package edu.udel.cis.vsl.sarl.number.real
package edu.udel.cis.vsl.sarl.number.real
An implementation of the
number
module.
External users of this module should not import elements from here.
Instead, import elements of the IF
package.
This implementation uses a representation of integers that uses Java's
BigInteger
class. Rational numbers are represented as an ordered
pair (numerator,denominator) of big integers, with GCD 1.
-
ClassesClassDescriptionImmutable implementation of
Interval
.An efficient implementation of raising something to some power.A key used in the rational map.An abstract class represents the infinite real number.An infinite precision representation of integer numbers, based on Java's BigInteger class.A representation of the integral infinity, it could be either postive or negative.An implementation of number factory based on infinite precision real arithmetic.An infinite precision representation of the mathematical rational numbers.A representation of the rational infinity, it could be either postive or negative.