A B C D E F G I L M N P S T U V

A

abs() - Method in class com.hp.creals.CR

The absolute value of a constructive reals.

absFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the abs method of CR.

acosFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the inverse cosine (arccosine) function.

add(CR) - Method in class com.hp.creals.CR

Add two constructive reals.

approximate(int) - Method in class com.hp.creals.CR

Must be defined in subclasses of CR.

asinFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the inverse sine (arcsine) function.

assumeInt() - Method in class com.hp.creals.CR

Produce a constructive real equivalent to the original, assuming the original was an integer.

atanFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the inverse cosine (arctangent) function.

B

BigIntegerValue() - Method in class com.hp.creals.CR

Return a BigInteger which differs by less than one from the constructive real.

byteValue() - Method in class com.hp.creals.CR

Return an int which differs by less than one from the constructive real.

C

compareTo(CR) - Method in class com.hp.creals.CR

Should be called only if x != y.

compareTo(CR, int) - Method in class com.hp.creals.CR

Approximate comparison with only an absolute tolerance.

compareTo(CR, int, int) - Method in class com.hp.creals.CR

Return 0 if x = y to within the indicated tolerance, -1 if x < y, and +1 if x > y.

compose(UnaryCRFunction) - Method in class com.hp.creals.UnaryCRFunction

Compose this function with f2.

cos() - Method in class com.hp.creals.CR

The trigonometric cosine function.

cosFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the cos method of CR.

CR - class com.hp.creals.CR.

Constructive real numbers, also known as recursive, or computable reals.

CR() - Constructor for class com.hp.creals.CR

D

divide(CR) - Method in class com.hp.creals.CR

The quotient of two constructive reals.

doubleValue() - Method in class com.hp.creals.CR

Return a double which differs by less than one in the least represented bit from the constructive real.

E

execute(CR) - Method in class com.hp.creals.UnaryCRFunction

exp() - Method in class com.hp.creals.CR

The exponential function, i.e.

expFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the exp method of CR.

F

floatValue() - Method in class com.hp.creals.CR

Return a float which differs by less than one in the least represented bit from the constructive real.

G

get_appr(int) - Method in class com.hp.creals.CR

Returns value / 2 ** prec rounded to an integer.

I

identityFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the identity function.

intValue() - Method in class com.hp.creals.CR

Return an int which differs by less than one from the constructive real.

inverse() - Method in class com.hp.creals.CR

The multiplicative inverse of a constructive real.

inverseFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the inverse method of CR.

inverseMonotone(CR, CR) - Method in class com.hp.creals.UnaryCRFunction

Compute the inverse of this function, which must be defined and strictly monotone on the interval [low, high].

L

ln() - Method in class com.hp.creals.CR

The natural (base e) logarithm.

lnFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the ln method of CR.

longValue() - Method in class com.hp.creals.CR

Return a long which differs by less than one from the constructive real.

M

max(CR) - Method in class com.hp.creals.CR

The maximum of two constructive reals.

min(CR) - Method in class com.hp.creals.CR

The minimum of two constructive reals.

monotoneDerivative(CR, CR) - Method in class com.hp.creals.UnaryCRFunction

Compute the derivative of a function.

multiply(CR) - Method in class com.hp.creals.CR

The product of two constructive reals

N

negate() - Method in class com.hp.creals.CR

The additive inverse of a constructive real

negateFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the negate method of CR.

P

PI - Static variable in class com.hp.creals.CR

The ratio of a circle's circumference to its diameter.

please_stop - Static variable in class com.hp.creals.CR

Setting this to true requests that all computations be aborted by throwing AbortedError.

S

select(CR, CR) - Method in class com.hp.creals.CR

The real number x if this < 0, or y otherwise.

shiftLeft(int) - Method in class com.hp.creals.CR

Multiply a constructive real by 2**n.

shiftRight(int) - Method in class com.hp.creals.CR

Multiply a constructive real by 2**(-n).

signum() - Method in class com.hp.creals.CR

Should be called only if x != 0.

signum(int) - Method in class com.hp.creals.CR

Equivalent to compareTo(CR.valueOf(0), a)

sin() - Method in class com.hp.creals.CR

The trigonometric sine function.

sinFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the sin method of CR.

sqrt() - Method in class com.hp.creals.CR

The square root of a constructive real.

sqrtFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the sqrt method of CR.

subtract(CR) - Method in class com.hp.creals.CR

The difference between two constructive reals

T

tanFunction - Static variable in class com.hp.creals.UnaryCRFunction

The function object corresponding to the tangent function.

toString() - Method in class com.hp.creals.CR

Equivalent to toString(10, 10)

toString(int) - Method in class com.hp.creals.CR

Equivalent to toString(n,10)

toString(int, int) - Method in class com.hp.creals.CR

Return a textual representation accurate to n places to the right of the decimal point.

U

UnaryCRFunction - class com.hp.creals.UnaryCRFunction.

Unary functions on constructive reals implemented as objects.

UnaryCRFunction() - Constructor for class com.hp.creals.UnaryCRFunction

V

valueOf(BigInteger) - Static method in class com.hp.creals.CR

The constructive real number corresponding to a BigInteger.

valueOf(double) - Static method in class com.hp.creals.CR

The constructive real number corresponding to a Java double.

valueOf(float) - Static method in class com.hp.creals.CR

The constructive real number corresponding to a Java float.

valueOf(int) - Static method in class com.hp.creals.CR

The constructive real number corresponding to a Java int.

valueOf(long) - Static method in class com.hp.creals.CR

The constructive real number corresponding to a Java long.

valueOf(String, int) - Static method in class com.hp.creals.CR

Return the constructive real number corresponding to the given textual representation and radix.

A B C D E F G I L M N P S T U V