On Tuesday, April 18, 2023 at 4:19:45 PM UTC-6 Nils Bruin wrote:
It may not be the default, but you can still have it! As referenced before,
just execute upon startup:
old_RealNumber=RealNumber
def RealNumber(*args, **kwargs):
return QQ(old_RealNumber(*args, **kwargs))
You can place it in a startup file so that it is in force for all your
subsequent sessions. See:
https://doc.sagemath.org/html/en/reference/repl/startup.html
Thanks for this, but that would be a global substitution, right?
I'm arguing just for a local substitution, in the high-precision
environments only.
-aw
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/4f941e2d-a3af-4cde-97f4-fc9233ac52d2n%40googlegroups.com.
