Revision history [back]

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