taylorFunction

A function that when evaluated yields a taylorInterval, that is it can be evaluated to give an explicit linear approximation with error bounds.

[ kepler | Source | Keywords | Summary | Ancestors | All Members | Descendants ]

Quick Index

OVERVIEW TEXT
AUTHOR

Class Summary

class taylorFunction

{

public:
taylorFunction operator+(const taylorFunction&) const;
taylorFunction operator*(const interval&) const;
taylorFunction(int capacity );
taylorFunction(primitive&);
taylorFunction(const taylorFunction&);
taylorFunction& operator=(const taylorFunction& f);
~taylorFunction();
taylorInterval evalf(const domain& x,const domain& z) const;
lineInterval evalAt(const domain&) const;
int getReducibleState() const;
void setReducibleState(int);
static void selfTest();
protected:
}; // taylorFunction

Back to the top of taylorFunction


OVERVIEW TEXT

Taylor functions are the most important class in the the Kepler package in many ways. They should be thought of as a rigorously implemented math library function. To evaluate a function is to supply it with bounds on the lower and upper bounds on each of the variables, and an approximate center point where the taylor series approximation is to be computed.

When evaluated, instead of returning a mere double, a taylorFunction returns a taylorInterval, which constains information about the upper and lower bounds of the function on the given domain, and also about the upper and lower bounds of the derivatives of the function on the given domain.

Taylor functions can be added together and multiplied by scalars. To get an upper bound on the sum of two taylorFunctions it is better to add them and then evaluate the sum, rather than evaluate the individual functions and then add the results. The reason for this is that there can be cancellation of terms, so that the bound by adding first is, roughly speaking |x-x|, rather than |x|+|-x|.

Back to the top of taylorFunction


AUTHOR

Thomas C. Hales

Back to the top of taylorFunction


taylorFunction operator+(const taylorFunction&) const;

Add a taylorFunctions to a given one.

taylorFunction operator+(const taylorFunction&) const;

Back to the top of taylorFunction


taylorFunction operator*(const interval&) const;

Scale a taylorFunction by a interval multiple.

taylorFunction operator*(const interval&) const;

Back to the top of taylorFunction


taylorFunction(int capacity );

Constructor. For advanced users: the capacity refers to the number of distinct primitive functions occuring in the linear combination represented by the taylorFunction. If in doubt, use the default argument!

taylorFunction(int capacity =0);

Back to the top of taylorFunction


taylorFunction(primitive&);

taylorFunctions are built up from certain primitive functions. This is the constructor that converts a primitive function to a taylorFunction. The class primitive and this class is only used in the implementation details. End-users can safely ignore this constructor.

taylorFunction(primitive&);

Back to the top of taylorFunction


taylorFunction(const taylorFunction&);

create a bitwise copy of a taylorFunction

taylorFunction(const taylorFunction&);

Back to the top of taylorFunction


taylorFunction& operator=(const taylorFunction& f);

assignment of a taylorFunction

taylorFunction& operator=(const taylorFunction& f);

Back to the top of taylorFunction


~taylorFunction();

Deallocate memory:

~taylorFunction();

Back to the top of taylorFunction


taylorInterval evalf(const domain& x,const domain& z) const;

Evaluate a taylorFunction There are two arguments, x = lower bounds on variables, z = upper bounds on variables,

taylorInterval evalf(const domain& x,const domain& z) const;

Back to the top of taylorFunction


lineInterval evalAt(const domain&) const;

Evaluate a taylorFunction at a single point x

lineInterval evalAt(const domain&) const;

Back to the top of taylorFunction


int getReducibleState() const;

int getReducibleState() const;

Back to the top of taylorFunction


void setReducibleState(int);

void setReducibleState(int);

Back to the top of taylorFunction


void selfTest();

Check the correctness of Taylor routines.

static void selfTest();

Back to the top of taylorFunction


All Members

public:
taylorFunction operator+(const taylorFunction&) const;
taylorFunction operator*(const interval&) const;
taylorFunction& operator=(const taylorFunction& f);
taylorInterval evalf(const domain& x,const domain& z) const;
lineInterval evalAt(const domain&) const;
int getReducibleState() const;
void setReducibleState(int);
static void selfTest();
protected:

Back to the top of taylorFunction


Ancestors

Class does not inherit from any other class.

Back to the top of taylorFunction


Descendants

Class is not inherited by any others.

Back to the top of taylorFunction


Generated from source by the Cocoon utilities on Mon Dec 22 19:37:26 1997 .

Report problems to jkotula@unimax.com