You keep saying > Any normal mathematician who writes "e^1.1" intends that to mean "e^(11/10)".
To be honest, I don't think that is the case, if a paper presented to you some constant gamma = 1.1, you would not assume that gamma is 11/10, but instead that an approximation to 2 decimal digits for gamma is "1.1". That is the meaning of finite decimal expansion! A valid complaint could perhaps be, why are you casting gamma to 53 bits when I didn't give you that many, I think you know the answer to that question. On Tue, Apr 18, 2023 at 8:18 PM David Roe <roed.m...@gmail.com> wrote: > > > On Tue, Apr 18, 2023 at 8:15 PM aw <aw.phone.00...@gmail.com> wrote: > >> 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. >> > > It's not possible in Python to interpret 1.1 as 11/10 in a high-precision > environment and as a normal float otherwise, unless you do something that > "takes a lot of work," which you claimed you weren't trying to suggest. > David > > >> >> -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 >> <https://groups.google.com/d/msgid/sage-devel/4f941e2d-a3af-4cde-97f4-fc9233ac52d2n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > 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/CAChs6_kKta69QSM5bgMoedFWwFQhKV0e4G0u7aSs2RLF1Hie%2BA%40mail.gmail.com > <https://groups.google.com/d/msgid/sage-devel/CAChs6_kKta69QSM5bgMoedFWwFQhKV0e4G0u7aSs2RLF1Hie%2BA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CA%2BiQ7x6dng99%3DJzYeEDJ5EC0MBaNEy0hA6aAPukTqM%3D%3D4m77bw%40mail.gmail.com.
