com.hp.creals
Class UnaryCRFunction

java.lang.Object
  com.hp.creals.UnaryCRFunction

public abstract class UnaryCRFunction

extends java.lang.Object

Unary functions on constructive reals implemented as objects. The execute member computes the function result. Unary function objects on constructive reals inherit from UnaryCRFunction.

Field Summary

static UnaryCRFunction	absFunction The function object corresponding to the abs method of CR.
static UnaryCRFunction	acosFunction The function object corresponding to the inverse cosine (arccosine) function.
static UnaryCRFunction	asinFunction The function object corresponding to the inverse sine (arcsine) function.
static UnaryCRFunction	atanFunction The function object corresponding to the inverse cosine (arctangent) function.
static UnaryCRFunction	cosFunction The function object corresponding to the cos method of CR.
static UnaryCRFunction	expFunction The function object corresponding to the exp method of CR.
static UnaryCRFunction	identityFunction The function object corresponding to the identity function.
static UnaryCRFunction	inverseFunction The function object corresponding to the inverse method of CR.
static UnaryCRFunction	lnFunction The function object corresponding to the ln method of CR.
static UnaryCRFunction	negateFunction The function object corresponding to the negate method of CR.
static UnaryCRFunction	sinFunction The function object corresponding to the sin method of CR.
static UnaryCRFunction	sqrtFunction The function object corresponding to the sqrt method of CR.
static UnaryCRFunction	tanFunction The function object corresponding to the tangent function.

Constructor Summary

UnaryCRFunction()

Method Summary

UnaryCRFunction	compose(UnaryCRFunction f2) Compose this function with f2.
abstract CR	execute(CR x)
UnaryCRFunction	inverseMonotone(CR low, CR high) Compute the inverse of this function, which must be defined and strictly monotone on the interval [low, high].
UnaryCRFunction	monotoneDerivative(CR low, CR high) Compute the derivative of a function.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

identityFunction

public static final UnaryCRFunction identityFunction

The function object corresponding to the identity function.

negateFunction

public static final UnaryCRFunction negateFunction

The function object corresponding to the negate method of CR.

inverseFunction

public static final UnaryCRFunction inverseFunction

The function object corresponding to the inverse method of CR.

absFunction

public static final UnaryCRFunction absFunction

The function object corresponding to the abs method of CR.

expFunction

public static final UnaryCRFunction expFunction

The function object corresponding to the exp method of CR.

cosFunction

public static final UnaryCRFunction cosFunction

The function object corresponding to the cos method of CR.

sinFunction

public static final UnaryCRFunction sinFunction

The function object corresponding to the sin method of CR.

tanFunction

public static final UnaryCRFunction tanFunction

The function object corresponding to the tangent function.

asinFunction

public static final UnaryCRFunction asinFunction

The function object corresponding to the inverse sine (arcsine) function. The argument must be between -1 and 1 inclusive. The result is between -PI/2 and PI/2.

acosFunction

public static final UnaryCRFunction acosFunction

The function object corresponding to the inverse cosine (arccosine) function. The argument must be between -1 and 1 inclusive. The result is between 0 and PI.

atanFunction

public static final UnaryCRFunction atanFunction

The function object corresponding to the inverse cosine (arctangent) function. The result is between -PI/2 and PI/2.

lnFunction

public static final UnaryCRFunction lnFunction

The function object corresponding to the ln method of CR.

sqrtFunction

public static final UnaryCRFunction sqrtFunction

The function object corresponding to the sqrt method of CR.

Constructor Detail

UnaryCRFunction

public UnaryCRFunction()

Method Detail

execute

public abstract CR execute(CR x)

compose

public UnaryCRFunction compose(UnaryCRFunction f2)

Compose this function with f2.

inverseMonotone

public UnaryCRFunction inverseMonotone(CR low,
                                       CR high)

Compute the inverse of this function, which must be defined and strictly monotone on the interval [low, high]. The resulting function is defined only on the image of [low, high]. The original function may be either increasing or decreasing.

monotoneDerivative

public UnaryCRFunction monotoneDerivative(CR low,
                                          CR high)

Compute the derivative of a function. The function must be defined on the interval [low, high], and the derivative must exist, and must be continuous and monotone in the open interval [low, high]. The result is defined only in the open interval.