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 <kcris...@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+unsubscr...@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/CAAWYfq3jr4SVm__CptPkVkBf3L3JaDCQRfE1Jrj3jfX23EnQOg%40mail.gmail.com.
