You might as well create support for nonstandard analysis (which would be eased by some form of intuitionist logic in the framework...).
We're no longer in Kan^Ka CAS, Toto... But that could be a fine use of Sage, bridging to proof systems. Maybe a separate development, to be merged when ready (à la differentiable manifolds...). Le samedi 24 octobre 2020 à 20:16:38 UTC+2, dim...@gmail.com a écrit : > well, for doing various things in real algebraic geometry, one > certainly needs fields of Puiseux series, with (non-Archimedean) > ordering > dictated by 0<<e<<1, so that ne<1 for all natural n. :P > > On Sat, Oct 24, 2020 at 7:04 PM kcrisman <kcri...@gmail.com> wrote: > > > > > >> If it is possible though not perfect, I would prefer it to an abstract > ghost. > > > > > > So we should also start adding infinitesimals [1] to the RealField as > well? ;-) > > > > [1] cf. Berkeley's "ghosts of departed quantities" > > > > -- > > 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+...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/4f5bd614-20ca-45c1-9514-9aedb21ca086o%40googlegroups.com > . > -- 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/1ac2e668-8215-4b07-a852-67048f010cecn%40googlegroups.com.
