6.5.2 rings.real_field_element -

The module rings.real_field_element defines the following classes:

class RealNumber
A real number.



Subsections
See About this document... for information on suggesting changes.