Congruence Class Arithmetic
This section is remarkably similar to Section 2.2. It deals with the developments of rings in and arithmetic of congruence classes in . The notation for these types of rings is different from what has previously been encountered: where F is a field and a non constant polynomial in .
The ideas behind this section are relatively straightforward given that rings in have already been studied. However arithmetic in this form may be more difficult. At least right now I fail to see how the ring is composed of the elements .