next up previous notation contents
Next: 2.13 Interval Sets Up: 2.12 Property Tracking Previous: 2.12.2 Interval Inclusion and Extension

2.12.3 Systems

For each property there is a compact syntax which states that the constructed number system tracks that property.

The description can be placed above the number system, as was done previously:

math8678

The exact number system used to track properties can also be specified:

math8684

Conjuctive descriptions are also described as before:

math8690

Properties may be combined if they share the same underlying number system:

math8696

A similar notation is used in describing intervals; for example, tex2html_wrap_inline33559 is an interval with value j, whose continuity is described by d.  

  In the next subsection, interval sets will be introduced. For any interval arithmetic tex2html_wrap_inline31473 , there is an associated interval set arithmetic tex2html_wrap_inline33567 . tex2html_wrap_inline33569 and tex2html_wrap_inline33571 are likely implementations, both of which have been carried out by the author, for k=1, 2, 3.


next up previous notation contents
Next: 2.13 Interval Sets Up: 2.12 Property Tracking Previous: 2.12.2 Interval Inclusion and Extension
Jeff TupperMarch 1996