Re: [sage-devel] Re: Improving code with AI?

2018-04-29 Thread julien.puydt via sage-devel
HiLe 30 avr. 2018 07:15, Ralf Stephan a écrit :It needs write access on the repo. git clone, let it write as much as it wants?Snark on irc -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

[sage-devel] Re: Improving code with AI?

2018-04-29 Thread Ralf Stephan
It needs write access on the repo. -- 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 post to this group, send email to sa

Re: [sage-devel] Interrupting pari hangs sage

2018-04-29 Thread Jeroen Demeyer
On 2018-04-29 14:29, Timo Kaufmann wrote: Does anybody have any pointers to potential causes? Was cysignals compiled with PARI support? Can you provide the cysignals build log? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe fr

Re: [sage-devel] Improving code with AI?

2018-04-29 Thread Erik Bray
I don't know. I have my doubts but could always try it and see if it makes any useful suggestions :) On Sun, Apr 29, 2018 at 3:43 PM, Peter Luschny wrote: > Hi, > > does such a thing make sense for use in the SageMath development? > > The website says: Free Forever for GitHub open source. > > htt

Re: [sage-devel] Interrupting pari hangs sage

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 2:29 PM, Timo Kaufmann wrote: > Hi, > > I'm currently in the process of upgrading nixos's sage package to 8.2. While > doing > that, https://trac.sagemath.org/ticket/18919 resurfaced: > > ``` > alarm(9/11); (2^100).binomial(2^22, algorithm='pari') > ``` > > sometimes hangs.

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Nathan Dunfield
On Sunday, April 29, 2018 at 4:55:35 AM UTC-5, Erik Bray wrote: > > Yep, SAGE_FAT_BINARY=yes is what did it. I'll look into it further. > Erik, Thanks! I just confirmed that setting SAGE_FAT_BINARY to "no" fixes the problem on my machine as well. Nathan -- You received this message becau

Re: [sage-devel] Re: Error building package python3-3.6.1.p1 Sage 8.1 on Mac

2018-04-29 Thread Christelle Vincent
Well, I don't know if you want to know... But make ptest did end with an error: Doctests interrupted: 2203/3630 files tested -- Total time for all tests: 12716.1 seconds cpu time: 7631.7 seconds cumulative wall time:

[sage-devel] Improving code with AI?

2018-04-29 Thread Peter Luschny
Hi, does such a thing make sense for use in the SageMath development? The website says: Free Forever for GitHub open source. https://techcrunch.com/2018/04/26/deepcode-cleans-your-code-with-the-power-of-ai/ P. -- You received this message because you are subscribed to the Google Groups "sag

[sage-devel] Interrupting pari hangs sage

2018-04-29 Thread Timo Kaufmann
Hi, I'm currently in the process of upgrading nixos's sage package to 8.2. While doing that, https://trac.sagemath.org/ticket/18919 resurfaced: ``` alarm(9/11); (2^100).binomial(2^22, algorithm='pari') ``` sometimes hangs. "sometimes" seems to be whenever the system is under load. This behavio

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 11:55 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 11:47 AM, Erik Bray wrote: >> On Sun, Apr 29, 2018 at 11:02 AM, Erik Bray wrote: >>> On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield wrote: > On Satur

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 11:47 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 11:02 AM, Erik Bray wrote: >> On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: >>> On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield >>> wrote: On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: >

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 11:02 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: >> On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield >> wrote: >>> On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: I just finished a full build from scratch on Ubun

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield wrote: >> On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: >>> >>> I just finished a full build from scratch on Ubuntu 18.04 and it went >>> fine. This was of 8.2.rc4. >>> >>> I

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield wrote: > On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: >> >> I just finished a full build from scratch on Ubuntu 18.04 and it went >> fine. This was of 8.2.rc4. >> >> I don't recall off the top of my head whether anything changed