Re: [sage-devel] error building brial-1.2.5

2020-04-13 Thread Michael Orlitzky
On 4/13/20 7:44 PM, Olivier Guillon wrote: > Hello > I had an error while building sage from source. It may just be a timing > issue but it seems the upstream repo for brial has changed name to > '.../upstream/sage_brial/' while this change was not yet reflected on > servers (where the repo is stil

[sage-devel] error building brial-1.2.5

2020-04-13 Thread Olivier Guillon
Hello I had an error while building sage from source. It may just be a timing issue but it seems the upstream repo for brial has changed name to '.../upstream/sage_brial/' while this change was not yet reflected on servers (where the repo is still '.../upstream/brial/'). Sage built after gettin

Re: [sage-devel] gmp clash when building sage 9.1.rc0 on Cygwin

2020-04-13 Thread Dima Pasechnik
On Tue, Apr 14, 2020 at 12:25 AM Darij Grinberg wrote: > > On Mon, Apr 13, 2020 at 2:31 PM Dima Pasechnik wrote: > > > > On Mon, Apr 13, 2020 at 7:40 PM Darij Grinberg > > wrote: > > > > > > Trying to build sage 9.1.rc0 on a freshly updated cygwin, I'm getting > > > this: > > > > after a Cygwi

Re: [sage-devel] gmp clash when building sage 9.1.rc0 on Cygwin

2020-04-13 Thread Darij Grinberg
On Mon, Apr 13, 2020 at 2:31 PM Dima Pasechnik wrote: > > On Mon, Apr 13, 2020 at 7:40 PM Darij Grinberg > wrote: > > > > Trying to build sage 9.1.rc0 on a freshly updated cygwin, I'm getting this: > > after a Cygwin update one has to > > make distclean > > Have you done this? > If yes, and stil

Re: [sage-devel] Re: gmp clash when building sage 9.1.rc0 on Cygwin

2020-04-13 Thread Dima Pasechnik
On Mon, Apr 13, 2020 at 10:52 PM Matthias Koeppe wrote: > > On Monday, April 13, 2020 at 4:40:00 AM UTC-7, Darij Grinberg wrote: >> >> Trying to build sage 9.1.rc0 on a freshly updated cygwin, ... > > > Various issues on Cygwin need help by developers who use this system. > Starting point: https:/

[sage-devel] Re: gmp clash when building sage 9.1.rc0 on Cygwin

2020-04-13 Thread Matthias Koeppe
On Monday, April 13, 2020 at 4:40:00 AM UTC-7, Darij Grinberg wrote: > > Trying to build sage 9.1.rc0 on a freshly updated cygwin, ... > Various issues on Cygwin need help by developers who use this system. Starting point: https://trac.sagemath.org/ticket/29403 -- You received this message b

[sage-devel] Segmentation fault factoring a multivariate polynomial over IntegerModRing

2020-04-13 Thread Sebastian Oehms
There have been several tickets on segmentation faults concerning the singular interface. Since they are all closed, I think this must be an unknown case: sage: R. = Integers(7)[] sage: p = x**2-1 sage: p.factor() Trying the same with GF works fine: sage: R. = GF(7)[] sage: p = x**2-1 sage: p

Re: [sage-devel] gmp clash when building sage 9.1.rc0 on Cygwin

2020-04-13 Thread Dima Pasechnik
On Mon, Apr 13, 2020 at 7:40 PM Darij Grinberg wrote: > > Trying to build sage 9.1.rc0 on a freshly updated cygwin, I'm getting this: after a Cygwin update one has to make distclean Have you done this? If yes, and still getting this error, please post here /home/skraeling/sage/local/var/tmp/sag

[sage-devel] gmp clash when building sage 9.1.rc0 on Cygwin

2020-04-13 Thread Darij Grinberg
Trying to build sage 9.1.rc0 on a freshly updated cygwin, I'm getting this: [ecm-7.0.4.p1] checking whether we can link against GMP... yes [ecm-7.0.4.p1] checking if gmp.h version and libgmp version are the same... (6.1.2/6.2.0) no [ecm-7.0.4.p1] configure: error: 'gmp.h' and 'libgmp' have differ

[sage-devel] Re: FTP mirrors' HTML is downloaded instead of rendered in Chromium / Chrome

2020-04-13 Thread Frédéric Chapoton
I have made a pull request https://github.com/sagemath/website/pull/188 Le samedi 11 avril 2020 13:16:37 UTC+2, Ricardo Buring a écrit : > > Dear sage-devel, > > on the downloads page http://www.sagemath.org/download.html there are > links to several mirrors, and one of them (FU Berlin) uses the

[sage-devel] Re: Possible bug regarding the mod() method for multi-variable polynomials

2020-04-13 Thread Sebastian Oehms
The history of discussions about this issue reaches back over many years, see #10708 and this sage-devel thread and it seems that they all broke down even