Changes between Version 3 and Version 4 of Accuracy
- Timestamp:
- 09/14/11 14:34:04 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Accuracy
v3 v4 1 1 This page is to track the status of the TASS code for verifying the order of accuracy. 2 2 3 = Assumptions about the universe = 4 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. 5 * Associativity. We need to know that ''f(h) + (f'(h) + f"(h)) = (f(h) + f'(h)) + f"(h)''. 6 * Commutativity. We need to know that ''f(i*h)=f(h*i)''. 7 * No over/underflow. 8 * Arbitrarily precision. 3 9 = TODO = 4 10 * ModelBuilder must be updated to deal with abstract functions, derivatives
