First time here? Check out the FAQ!
answered 2022-04-10 22:45:17 +0100
RealNumber can be imported from sage.all:
RealNumber
sage.all
from sage.all import RealNumber
updated 2022-04-10 22:49:54 +0100
RealNumber can be imported and used from sage.all:
from sage.all import RealNumber # ... test = RealNumber(1.2)