On Thu, Sep 27, 2018 at 11:55 AM, John Cremona wrote:
> Many readers of this mailing list will be interested in
> https://arxiv.org/abs/1809.08062 :
>
> Machine-Assisted Proofs (ICM 2018 Panel)
> James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu
> Tiep, Luís Cruz-Filipe
> (Th
On Fri, Sep 21, 2018 at 1:07 AM, Frédéric Chapoton wrote:
> Apparently, people can "donate to the SAGE foundation" using this link :
> https://www.washington.edu/giving/make-a-gift/?page=make&Code=MATSAG
> Who is in charge ? How much money is collected (I would guess almost
> nothing) ?
Our math
Many readers of this mailing list will be interested in
https://arxiv.org/abs/1809.08062 :
Machine-Assisted Proofs (ICM 2018 Panel)
James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu
Tiep, Luís Cruz-Filipe
(This submission to arXiv is the report of a panel session at the 2018
For starters, you need Sage's python2, so that at its python prompt you can do
>>> from sage.all import *
and this works. Are you already at this point?
On Thu, Sep 27, 2018 at 2:37 PM Abhishek Kesarwani <1907a...@gmail.com> wrote:
>
> I am trying to run Example 2: And getting following error.
I am trying to run Example 2: And getting following error. Please help me.
abc@Math-Sans:~/Desktop$ gcc -I/usr/include/python2.7 ABC.c -lpython2.7
-lm -lutil -lpthread -ldl
abc@Math-Sans:~/Desktop$ ./a.out
1+1:
2
Load sage
Traceback (most recent call last):
File "", line 1, in
ImportError: N
At least three people have reported the same problem, just FYI.
Perhaps something went wrong with building the .dmg. I don't know how
to fix it (I don't know anything about dmgs):
https://ask.sagemath.org/question/43594/problems-installing-sage-83-on-osx
--
You received this message because you
On Mon, Sep 3, 2018 at 3:53 PM Erik Bray wrote:
>
> On Tue, Aug 21, 2018 at 10:43 AM Erik Bray wrote:
> >
> > Hi all,
> >
> > Earlier this spring Julian Rüth and I sat down and created a mirror of
> > Sage's repository over at GitLab:
> >
> > https://gitlab.com/sagemath/sage
> >
> > This is in ad
