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

[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 still '.../upstream/brial/'). Sage built
> after getting brial spkg directly from the repository.
> 

We split the brial package into "brial" (the compiled library) and
"sage_brial" (the python interface to that library) in trac #29369. Both
of them use the same upstream tarball. What error did you run into?

(Ultimately, sage_brial should just be added to the sage library like
all of the other library interfaces, but this was the easiest solution
to implement/review.)

-- 
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/4810eec3-67fd-8edb-45e3-0aa0f1d3c3f5%40orlitzky.com.

[sage-devel] error building brial-1.2.5

[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 
getting brial spkg directly from the repository.

-- 
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/8c959f06-3d1b-4d6c-990e-6ed44b26900d%40googlegroups.com.

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

[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 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/sage/build/ecm-7.0.4.p1/src/config.log
>
> Yes, I distcleaned. Attaching the log here.

Thanks. Perhaps, indeed, something was not installed/updated correctly?

As far as I know, you need to (re)install
Cygwin package libgmp-devel - it will pull in all the deps we need:
https://cygwin.com/packages/summary/libgmp-devel.html

I believe there were tests done of 9.1.rc0 on Cygwin, and it worked at
least to the point it built ecm.


Dima

>
>   Best regards,
>   Darij
>
> --
> 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/CAN3jM_kaG4eaw3k9Wt_Ddgr%3DEu%2B_nyxAr%3DfJvRC33Beeo24XOw%40mail.gmail.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/CAAWYfq05w_z6NXPnA3%3DXCpb_mc3HTTGYdGOyRK-1qp_xbUB5%3Dw%40mail.gmail.com.

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

[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 still getting this error, please post here
> /home/skraeling/sage/local/var/tmp/sage/build/ecm-7.0.4.p1/src/config.log

Yes, I distcleaned. Attaching the log here.

  Best regards,
  Darij

-- 
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/CAN3jM_kaG4eaw3k9Wt_Ddgr%3DEu%2B_nyxAr%3DfJvRC33Beeo24XOw%40mail.gmail.com.


config.log
Description: Binary data

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

[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://trac.sagemath.org/ticket/29403
>
+1 - it seems that Erik is too busy with other things, and Erik the
one who did a lot of heavy lifting on Cygwin
until a month or so ago...


>
>
>
> --
> 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/4181fa20-5ee1-46b6-81d6-32a876bfd60b%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/CAAWYfq1HKvqfqTyurFcEWrfo47sNZty1ZU2zHm1-szhOnKrEkw%40mail.gmail.com.

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

[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 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/4181fa20-5ee1-46b6-81d6-32a876bfd60b%40googlegroups.com.

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

[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.factor()
(x - 1) * (x + 1) 


-- 
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/151bf5dd-151b-4fa3-93e8-5a8c92ad36c1%40googlegroups.com.

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

[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/sage/build/ecm-7.0.4.p1/src/config.log


>
> [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 different 
> versions, you have to reinstall GMP properly, or use the --with-gmp parameter 
> to tell configure the path to the GMP library and header you want to use
> [ecm-7.0.4.p1] 
> 
> [ecm-7.0.4.p1] Error configuring ecm-7.0.4.p1
> [ecm-7.0.4.p1] See the file
> [ecm-7.0.4.p1] 
> /home/skraeling/sage/local/var/tmp/sage/build/ecm-7.0.4.p1/src/config.log
> [ecm-7.0.4.p1] for details.
> [ecm-7.0.4.p1] 
> 
> [ecm-7.0.4.p1]
> [ecm-7.0.4.p1] real 2m20.317s
> [ecm-7.0.4.p1] user 0m37.282s
> [ecm-7.0.4.p1] sys  0m56.531s
> [ecm-7.0.4.p1] 
> 
> [ecm-7.0.4.p1] Error installing package ecm-7.0.4.p1
> [ecm-7.0.4.p1] 
> 
>
> This looks more like a cygwin error or an issue with outdated files in my 
> local, but I don't understand gmp enough to mess with it. Is there an 
> installation flag for this?
>
> Best regards,
> Darij
>
> --
> 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/933bcd3c-1465-45ba-a090-3a8305f8657c%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/CAAWYfq2_FemNggHBLYfGBna73s41bhsUrmGFerqWCNGJnKAYkQ%40mail.gmail.com.

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

[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 different 
versions, you have to reinstall GMP properly, or use the --with-gmp 
parameter to tell configure the path to the GMP library and header you want 
to use
[ecm-7.0.4.p1] 

[ecm-7.0.4.p1] Error configuring ecm-7.0.4.p1
[ecm-7.0.4.p1] See the file
[ecm-7.0.4.p1]
 /home/skraeling/sage/local/var/tmp/sage/build/ecm-7.0.4.p1/src/config.log
[ecm-7.0.4.p1] for details.
[ecm-7.0.4.p1] 

[ecm-7.0.4.p1]
[ecm-7.0.4.p1] real 2m20.317s
[ecm-7.0.4.p1] user 0m37.282s
[ecm-7.0.4.p1] sys  0m56.531s
[ecm-7.0.4.p1] 

[ecm-7.0.4.p1] Error installing package ecm-7.0.4.p1
[ecm-7.0.4.p1] 


This looks more like a cygwin error or an issue with outdated files in my 
local, but I don't understand gmp enough to mess with it. Is there an 
installation flag for this?

Best regards,
Darij

-- 
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/933bcd3c-1465-45ba-a090-3a8305f8657c%40googlegroups.com.

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

[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 FTP protocol:
>
> ftp://ftp.fu-berlin.de/unix/misc/sage/index.html
>
> This page can be viewed in Firefox, but not in Chromium or Google Chrome, 
> due to the following:
>
> Rendering FTP resources (removed)
> https://www.chromestatus.com/feature/619900567552
>
> What happens instead is that the HTML file is downloaded. This is very 
> confusing for new users.
> (Particularly for my students [in Germany], who will be visiting the 
> downloads page later this month.)
>
> One may disagree with the behavior of Chromium/Chrome, but it is a fact 
> that they have a large user base.
> So I propose removing ftp:// links from the main downloads page(s), 
> preferably soon.
> If not removing, then I would at least add a warning next to the link.
> Of course it is preferable to replace the link with a more accessible one 
> eventually.
>
> Best regards,
> Ricardo
>

-- 
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/71825fd1-b91f-4cc5-8a6d-c644fe6cd2e4%40googlegroups.com.

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

[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 though good suggestions where 
made. So let me do another attempt by gathering and rephrasing those 
suggestions, which I think should be realizable with a manageable effort. 
May we can do that in three steps:

1. Change the default implementation if the user chooses a *local term 
order*. The default implementation can't be longer *Singular* in this case, 
since *Singular *operates on a different mathematical object (which is not 
a polynomial ring), here. For example, this could be done in the following 
way (shown relative to 9.1.beta9):

diff --git a/src/sage/rings/polynomial/polynomial_ring_constructor.py b/src/
sage/rings/polynomial/polynomial_ring_constructor.py
index 98af2c4..afe6720 100644
--- a/src/sage/rings/polynomial/polynomial_ring_constructor.py
+++ b/src/sage/rings/polynomial/polynomial_ring_constructor.py
@@ -772,7 +772,7 @@ def _multi_variate(base_ring, names, sparse=None, order=
"degrevlex", implementat
 # yield the same implementation. We need this for caching.
 implementation_names = set([implementation])

-if implementation is None or implementation == "singular":
+if implementation is None and order.is_global() or implementation == 
"singular":
 from sage.rings.polynomial.multi_polynomial_libsingular import 
MPolynomialRing_libsingular
 try:
 R = MPolynomialRing_libsingular(base_ring, n, names, order)
diff --git a/src/sage/rings/polynomial/polynomial_singular_interface.py b/
src/sage/rings/polynomial/polynomial_singular_interface.py
index 74b8b82..8736c77 100644
--- a/src/sage/rings/polynomial/polynomial_singular_interface.py
+++ b/src/sage/rings/polynomial/polynomial_singular_interface.py
@@ -384,6 +384,10 @@ def can_convert_to_singular(R):
 if R.ngens() == 0:
 return False;

+if hasattr(R, 'term_order'):
+if R.term_order().is_local():
+return False;
+
 base_ring = R.base_ring()
 if (base_ring is ZZ
 or sage.rings.finite_rings.finite_field_constructor.is_FiniteField(
base_ring)

In the example of this thread, this would mean that an instance of 
MPolynomialRing_polydict_domain will be created:

sage: R. = PolynomialRing(QQ, order='negdeglex'); R
Multivariate Polynomial Ring in u, v over Rational Field
sage: type(R)

sage: f = 1 + x
sage: I = R.ideal(x^2)
sage: f.mod(I)
Traceback (most recent call last):
...
TypeError: Local/unknown orderings not supported by 'toy_buchberger' 
implementation.

If a user still likes to work over the localization of the polynomial ring 
via *Singular*, he has to give a corresponding *term order* and 
implementation='singular' explicitly (so that we can assume, that he knows 
what he is doing). In this case the representation string should make clear 
that this instance does not represent a polynomial ring:

sage: S. = PolynomialRing(QQ, order='neglex', implementation='singular'
); S
Multivariate Polynomial Ring in u, v over Rational Field localized at the 
maximal idead centered at the origin

sage: g = 1 + u
sage: J = S.ideal(u^2)
sage: g.mod(J)
1

2. Deprecate implementation='singular' for *local term orders* and replace 
it by a new construction function together with a new class inherited from 
MPolynomialRing_libsingular with an appropriate name (LocalPolynomialRing 
for instance).

3. Try to find a way, to use *Singular* again for applications according to 
1. I'm not sure if this will be possible, but maybe this can be done using 
a corresponding global order with *Singular* and perform transitions in 
_richcmp_, 
__reps__



On Monday, April 6, 2020 at 9:46:26 AM UTC+2, Yang Zhou wrote:
>
> Hi,
>
> I am trying to truncate a multi-variable polynomial by moding out higher 
> order term and found
> the following (simplified) example. I am wondering if it is a bug.
>
>
> *Reproducible Example: *
>
>> R. = PolynomialRing(QQ, order='negdeglex')
>>
> f = 1 + x
>> I = R.ideal(x^2)
>> f.mod(I)
>>
> *Expected output:*
>
>> 1 + x
>>
> *Actual output:*
>
>> 1
>>
>
>
> *Note: *
> The actual output will be 1+x when I omit the "order='negdeglex" parameter.
>
> *SageMath version:*
> SageMath version 9.0, Release Date: 2020-01-01
>
> *Operating system:*
> OS: Ubuntu 19.10 x86_64 
> Kernel: 5.3.0-45-generic 
>
> Best regards,
> Yang
>

-- 
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/a1c669d3-86da-4825-863a-4c1a9386c4a0%40googlegroups.com.