[
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