Next: DegreeCap and DegreeSumCap
Up: Theory and more details
Previous: Remove Redundant Protected
While this section is called ``Speeding up runs'',
which would be of interest to a practitioner,
this section suggests open questions
which might be of interest to the theorist.
Helton
Wed Jul 3 10:27:42 PDT 1996