This page is to track the status of the TASS code for verifying the order of accuracy.

= Assumptions about the universe =
It might be necessary to extend SymbolicUniverseIF with a RealUniverseIF.  For accuracy, it is necessary for some assumptions to hold that are not necessarily true in an arbitrary symbolic universe.
 * Associativity.  We need to know that ''f(h) + (f'(h) + f"(h)) = (f(h) + f'(h)) + f"(h)''.
 * Commutativity. We need to know that ''f(i*h)=f(h*i)''.
 * No over/underflow.
 * Arbitrarily precision.
= TODO =
 * ModelBuilder must be updated to deal with abstract functions, derivatives
 * Evaluator must be extended to evaluate evaluated abstract function expressions
 * Create the AccuracyExecutor.  This will extend the Executor so that when abstract functions involving accuracy are used, they will be expanded about relevant points.
= Partially Implemented =
 * Front-end support for abstract functions
= Implemented =
 * Symbolic
   * symbolic functions
   * evaluated function expressions
 * Model
   * abstract functions
   * derivatives
   * evaluated function expressions