Floating point real numbers are treated in a special way. Recall first to create a polynomial, one must first create a polynomial ring to contain it. And then, the polynomial ring is the class of the polynomial.
|
|
|
Floating point real numbers, however, can be created directly, as follows, without creating a ring.
|
|
The floating point numbers created above have different precisions, and thus are regarded as being elements of different rings, whose elements all have the same precision.
|
|
|
|
In order to make it convenient to define methods that apply to all such rings, those rings have a common parent, namely RR'. Notice that RR' is printed in a special way.
|
|
|
|
The object RR' is a type, with ancestor classes InexactNumber' < Nothing < Thing.