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