Getting a little ahead of ourselves, the classes of Chapter 18 are imported in order to demonstrate repeated division by 2 of a rational in Section 4.2 Nontermination.
| Class | Version | File | Python Code |
|---|---|---|---|
| Pair | generic Pair[K,V] | pair.py | 🔷 |
| Fraction | subclass of Pair[int,int] | fraction.py | 🔷 |
| Rational | subclass of Fraction | rational.py | 🔷 |
| - | test | Chapter4.py | 🔷 |