Hi, so, what's the punch line now? I totally lost track because we digressed too much. Is the representation change still wanted or not? And if so, what shall be it? I would like to conclude https://trac.sagemath.org/ticket/24523.
Best, Michael emanuel.c...@gmail.com schrieb am Samstag, 24. Oktober 2020 um 23:06:22 UTC+2: > 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/ebbf8aff-6538-4eb8-bf86-d916422916can%40googlegroups.com.
