com.hp.creals
Class UnaryCRFunction

java.lang.Object
  extended bycom.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.