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
On Oct 24, Paul Masson wrote:
Relevant discussion: [1]https://groups.google.com/forum/?fromgroups#!topic/
sage-devel/HRiG-Wfni18
Ahh thanks, in the third message in that discussion there were all the answers
I needed it seems.
R.
On Saturday, October 24, 2020 at 12:51:08 PM UTC-7 dim...@gm
Relevant discussion:
https://groups.google.com/forum/?fromgroups#!topic/sage-devel/HRiG-Wfni18
On Saturday, October 24, 2020 at 12:51:08 PM UTC-7 dim...@gmail.com wrote:
> Sage has not (yet) switched to jupyterlab, although there were various
> ways to use jupyterlab with Sage posted here by Sam
Sage has not (yet) switched to jupyterlab, although there were various
ways to use jupyterlab with Sage posted here by Samuel, iirc.
On Sat, Oct 24, 2020 at 8:46 PM 'Reimundo Heluani' via sage-devel
wrote:
>
> On Oct 24, 'Reimundo Heluani' via sage-devel wrote:
> >Dear all, I apologize that his m
On Oct 24, 'Reimundo Heluani' via sage-devel wrote:
Dear all, I apologize that his may be out of place, but I started
preparing the sage days talk on jupyter and I find myself on a
completely new terri(fying)tory. I have a bunch of questions and I'd
appreciate if you can point me in the right d
Dear all, I apologize that his may be out of place, but I started preparing
the sage days talk on jupyter and I find myself on a completely new
terri(fying)tory. I have a bunch of questions and I'd appreciate if you can
point me in the right direction to read.
1. I remember in this list there
well, for doing various things in real algebraic geometry, one
certainly needs fields of Puiseux series, with (non-Archimedean)
ordering
dictated by 0< wrote:
>
>
>> If it is possible though not perfect, I would prefer it to an abstract ghost.
>
>
> So we should also start adding infinitesimals [1]
> 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 Gro
Dear all,
I propose to integrate more polls in our development process. Polls are
good to capture the atmospheric picture about a topic. Sometimes, I lose
track about the common opinion because the discussions drift in various
directions; which is totally fine, but makes a traceback barely pos
I have made https://trac.sagemath.org/ticket/30820 for some small fixes.
Le samedi 24 octobre 2020 à 09:20:17 UTC+2, Frédéric Chapoton a écrit :
> I can see recent tentatives from Orsay, but they failed. Maybe Erik did
> launch a runner there ?
>
> Our .ci setting needs to be adapted to use pyth
I can see recent tentatives from Orsay, but they failed. Maybe Erik did
launch a runner there ?
Our .ci setting needs to be adapted to use python3 by default. And there is
a complaint about
.ci/build-docker.sh: line 60: syntax error: unterminated quoted string
but the script looks ok to me.
L
11 matches
Mail list logo
