Revision history [back]
 | 1 | initial version |
One nice way to figure out the correct import statements is
to use the import_statements function.
In this case:
sage: import_statements('RealNumber')
from sage.rings.real_mpfr import create_RealNumber as RealNumber
