Library kepler


[ Keywords | Classes | Data | Functions ]

Quick Index



Classes

cellOption
A cellOption contains various parameter settings used to fine-tune the behavior of the recursive verification procedures in the class prove.
domain
Six doubles representing the squares of the edge lengths of a simplex.
edgeBound
A class of miscellaneous static functions.
error
Some primitive error reporting routines
interMath
Interval versions of standard math library functions
interval
A class representing real-valued intervals
lineInterval
A lineInterval is an interval version of a linear approximation to a function. Many of the functions in the Kepler library return lineIntervals.
linearization
A class of static functions defined on a simplex in three dimensions that return a lineInterval
prove
Given a list of functions, prove that at least one is negative at every point of a given domain.
secondDerive
Low level routines relating to the second derivative. These should not generally be called directly by the end user.
taylorFlat
A library of static functions of a flat quarter S
taylorFunction
A function that when evaluated yields a taylorInterval, that is it can be evaluated to give an explicit linear approximation with error bounds.
taylorInterval
An interval-based linear approximation with explicit error bounds.
taylorQrtet
A library of static functions of a quasi-regular tetrahedron S
taylorSimplex
A library of static functions of a simplex S
taylorUpright
A library of static functions of an upright quarter S

Back to the top of kepler


Data

Back to the top of kepler


Global Functions

Back to the top of kepler


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

Report problems to jkotula@unimax.com