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.

  • Classes
    Class
    Description
    Immutable 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.