Opened 2 years ago

Closed 2 years ago

#24262 closed defect (wontfix)

Upgrade to pynac-0.7.13

Reported by: rws Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: standard Keywords:
Cc: fbissey Merged in:
Authors: Ralf Stephan Reviewers: Emmanuel Charpentier
Report Upstream: N/A Work issues:
Branch: u/rws/upgrade_to_pynac_0_7_13 (Commits) Commit: 438816e7e65214a19a5fed12d10b6ada94041cb5
Dependencies: Stopgaps:

Description

There is:

  • fix ex.coefficients() bugs (#23545, #24147)
  • fix interface to Singular GCD (#23845)
  • fix compiler warnings
  • asin/atan enhancements (#24211)
  • set_of_all() function (#24176)
  • upgrade ax_cxx_compile_stdcxx_11.m4

​https://github.com/pynac/pynac/releases/download/pynac-0.7.13/pynac-0.7.13.tar.bz2

Change History (28)

comment:1 Changed 2 years ago by rws

  • Branch set to u/rws/upgrade_to_pynac_0_7_13

comment:2 Changed 2 years ago by fbissey

  • Cc fbissey added
  • Commit set to 46a7ebcbaa98ba7bcb61f1f5c8698489b0c9b9ca

New commits:

​46a7ebc24262: pkg version/chksum

comment:3 Changed 2 years ago by rws

  • Status changed from new to needs_review

No doctests need to be adapted for this release. Please review.

comment:4 follow-up: Changed 2 years ago by charpent

  • Reviewers set to Emmanuel Charpentier
  • Status changed from needs_review to needs_work

On Debian 8.1.rc2 + #24240, compiles without difficulty.

  • fix ex.coefficients() bugs (#23545, #24147) : yes
  • fix interface to Singular GCD (#23845) : yes. The planned doctest don't seem to have been added.
  • fix compiler warnings : I still get : 
    charpent@asus16-ec:~$ cat /usr/local/sage-8/logs/pkgs/pynac-0.7.13.log  | grep warn
/usr/local/sage-8/local/include/flint/fmpz.h:428:23: warning: declaration of 'mpz_ptr' shadows a global declaration [-Wshadow]
/usr/local/sage-8/local/include/flint/fmpz.h:428:23: warning: declaration of 'mpz_ptr' shadows a global declaration [-Wshadow]
/usr/local/sage-8/local/include/flint/fmpz.h:428:23: warning: declaration of 'mpz_ptr' shadows a global declaration [-Wshadow]
  • asin/atan enhancements (#24211) : partial fix : 
    sage: [arcsin(t) for t in [0, 1/2, sqrt(2)/2, sqrt(3)/2, 1]] # Fixed
[0, 1/6*pi, 1/4*pi, 1/3*pi, 1/2*pi]
sage: [arctan(t) for t in [0, 1/sqrt(3), 1, sqrt(3)]] # Fixed
[0, 1/6*pi, 1/4*pi, 1/3*pi]
sage: [arccos(t) for t in [0, 1/2, sqrt(2)/2, sqrt(3)/2, 1]] # Partially fixed
[1/2*pi, 1/3*pi, arccos(1/2*sqrt(2)), arccos(1/2*sqrt(3)), 0]
sage: [arccot(t) for t in [0, 1/sqrt(3), 1, sqrt(3)]] # Partially fixed
[1/2*pi, arccot(1/3*sqrt(3)), 1/4*pi, arccot(sqrt(3))]
    The simplifications are not fixed either (but I'm not sure they could be by pynac's upgrade...) : 
    sage: assume(-pi/2<x, x<pi/2)
sage: arctan(sin(x)/cos(x)).simplify() # Not fixed
arctan(sin(x)/cos(x))
sage: arctan(sin(x)/cos(x)).simplify_full() # Not fixed
arctan(sin(x)/cos(x))
  • set_of_all() function (#24176) : can't test directly. Doctest ?
  • upgrade ax_cxx_compile_stdcxx_11.m4 : I dont't know how to test. Doctest ?
  • Your name needs to go in the Authors field.

make ptestlong gives me one (non-transient) failure : 

charpent@asus16-ec:/usr/local/sage-8$ sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py
too many failed tests, not using stored timings
Running doctests with ID 2017-11-22-23-04-04-f8ba9318.
Git branch: tst24240_n_24262
Using --optional=database_gap,dot2tex,fricas,giacpy_sage,igraph,mpir,python2,python_igraph,sage
Doctesting 1 file.
sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py
**********************************************************************
File "src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py", line 1652, in sage.rings.asymptotic.asymptotics_multivariate_generating_functions.FractionWithFactoredDenominator.?
Failed example:
    asy # long time
Expected:
    (4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 47/216*sqrt(3)/(sqrt(pi)*sqrt(r)),
     1, 4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 47/216*sqrt(3)/(sqrt(pi)*sqrt(r)))
Got:
    (4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 191/216*sqrt(3)/(sqrt(pi)*sqrt(r)),
     1,
     4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 191/216*sqrt(3)/(sqrt(pi)*sqrt(r)))
**********************************************************************
File "src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py", line 1655, in sage.rings.asymptotic.asymptotics_multivariate_generating_functions.FractionWithFactoredDenominator.?
Failed example:
    F.relative_error(asy[0], alpha, [1, 2, 4, 8], asy[1]) # long time
Expected:
    [((3, 3, 2), 0.9812164307, [1.515572606], [-0.54458543...]),
     ((6, 6, 4), 1.576181132, [1.992989399], [-0.26444185...]),
     ((12, 12, 8), 2.485286378, [2.712196351], [-0.091301338...]),
     ((24, 24, 16), 3.700576827, [3.760447895], [-0.016178847...])]
Got:
    [((3, 3, 2), 0.9812164307, [2.167042622], [-1.208526635]),
     ((6, 6, 4), 1.576181132, [2.453648265], [-0.5567045026]),
     ((12, 12, 8), 2.485286378, [3.037931359], [-0.2223667203]),
     ((24, 24, 16), 3.700576827, [3.990777328], [-0.07842034220])]
**********************************************************************
1 item had failures:
   2 of 104 in sage.rings.asymptotic.asymptotics_multivariate_generating_functions.FractionWithFactoredDenominator.?
    [805 tests, 2 failures, 27.28 s]
----------------------------------------------------------------------
sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py  # 2 doctests failed
----------------------------------------------------------------------
Total time for all tests: 27.4 seconds
    cpu time: 27.3 seconds
    cumulative wall time: 27.3 seconds

==>needs_work.

comment:5 in reply to: ↑ 4 ; follow-ups: Changed 2 years ago by rws

Replying to charpent:

  • fix interface to Singular GCD (#23845) : yes. The planned doctest don't seem to have been added.

They are always added in the reporting tickets.

  • fix compiler warnings : I still get : 
    charpent@asus16-ec:~$ cat /usr/local/sage-8/logs/pkgs/pynac-0.7.13.log  | grep warn
/usr/local/sage-8/local/include/flint/fmpz.h:428:23: warning: declaration of 'mpz_ptr' shadows a global declaration [-Wshadow]
/usr/local/sage-8/local/include/flint/fmpz.h:428:23: warning: declaration of 'mpz_ptr' shadows a global declaration [-Wshadow]
/usr/local/sage-8/local/include/flint/fmpz.h:428:23: warning: declaration of 'mpz_ptr' shadows a global declaration [-Wshadow]

They need to be fixed by updating Flint, as I have submitted the fix to Flint some time ago.

  • asin/atan enhancements (#24211) : partial fix : 
    sage: [arccot(t) for t in [0, 1/sqrt(3), 1, sqrt(3)]] # Partially fixed
[1/2*pi, arccot(1/3*sqrt(3)), 1/4*pi, arccot(sqrt(3))]

Sorry but you didn't report that. Of course I'll add it soon.

The simplifications are not fixed either (but I'm not sure they could be by pynac's upgrade...) :

I have pointed out already that simplify omissions are basically Maxima's.

  • set_of_all() function (#24176) : can't test directly. Doctest ?

Well, see #24176.

  • upgrade ax_cxx_compile_stdcxx_11.m4 : I dont't know how to test. Doctest ?

This is a Pynac build enhancement.

  • Your name needs to go in the Authors field.

Done.

make ptestlong gives me one (non-transient) failure :

What do you mean with "non-transient"? "non-transient using make ptestlong" or "non-transient using sage -t manually"? I cannot reproduce using sage -t on OpenSuSE, so this might be system-specific, or it might be make ptestlong-specific.

comment:6 Changed 2 years ago by rws

  • Authors set to Ralf Stephan

comment:7 in reply to: ↑ 5 Changed 2 years ago by charpent

Replying to rws:

Replying to charpent:

[ Snip... ]}

  • asin/atan enhancements (#24211) : partial fix : 
    sage: [arccot(t) for t in [0, 1/sqrt(3), 1, sqrt(3)]] # Partially fixed
[1/2*pi, arccot(1/3*sqrt(3)), 1/4*pi, arccot(sqrt(3))]

Sorry but you didn't report that. Of course I'll add it soon.

I just did that.

comment:8 in reply to: ↑ 5 Changed 2 years ago by charpent

Replying to rws:

Replying to charpent:

[ Snip... ]

make ptestlong gives me one (non-transient) failure :

What do you mean with "non-transient"? "non-transient using make ptestlong" or "non-transient using sage -t manually"? I cannot reproduce using sage -t on OpenSuSE, so this might be system-specific, or it might be make ptestlong-specific.

I get the failure during ptestlong, and I can reproduce at will by doing :

sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py

comment:9 Changed 2 years ago by rws

Confirmed with --long.

comment:10 follow-up: Changed 2 years ago by rws

Okay the reason is a regression in subs, minimal case: sage: (1+1/x).subs({x:1/x}) ... 1/x + 1. We try to add a patch here with doctest.

comment:11 in reply to: ↑ 10 Changed 2 years ago by charpent

Replying to rws:

Okay the reason is a regression in subs, minimal case: sage: (1+1/x).subs({x:1/x}) ... 1/x + 1. We try to add a patch here with doctest.

Hmmm... This a catastrophic one : subs is a basic method. IMHO, this deserves its own ticket, marked as blocker.

comment:12 follow-up: Changed 2 years ago by rws

A blocker is a ticket that reports/fixes an existing bug in Sage. This is a ticket that potentially introduces a severe bug, but with the right patch, it becomes a normal ticket. The sky does not fall down.

comment:13 in reply to: ↑ 12 Changed 2 years ago by charpent

Replying to rws:

A blocker is a ticket that reports/fixes an existing bug in Sage. This is a ticket that potentially introduces a severe bug, but with the right patch, it becomes a normal ticket. The sky does not fall down.

Ah ! You meant that this regression was introduced by the upgrade to pynac ? That was not obvious (at least to me...) ; I thought that you have found a pre-existing regression. And that was deserving a blocker ticket.

comment:14 Changed 2 years ago by git

  • Commit changed from 46a7ebcbaa98ba7bcb61f1f5c8698489b0c9b9ca to 1782f910ded326252088dcd2c8169e0ffc471653

Branch pushed to git repo; I updated commit sha1. New commits:

​10a108d24262: last-minute fix
​1782f9124262: doctest last-minute-fix

comment:15 Changed 2 years ago by rws

  • Status changed from needs_work to needs_review

This fixes the issue. My ptestlong passes but you might want to test again too.

Note that the behaviour of this added doctest: 

sage: (sqrt(x) + 1/sqrt(x)).subs({x: 1/x})
1/sqrt(x) + 1/1/sqrt(x)

is unchanged with respect to previous Sage versions but I have opened a Pynac issue: ​https://github.com/pynac/pynac/issues/287

comment:16 follow-up: Changed 2 years ago by charpent

  • Status changed from needs_review to needs_work

Doesn't smell good.. On top of 8.0.rc3+#24240, I get : 

charpent@asus16-ec:/usr/local/sage-8$ sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py
too many failed tests, not using stored timings
Running doctests with ID 2017-11-26-20-26-24-fdb78fa1.
Git branch: tst24240_n_24262
Using --optional=database_gap,dot2tex,fricas,giacpy_sage,igraph,mpir,python2,python_igraph,sage
Doctesting 1 file.
sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py
**********************************************************************
File "src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py", line 1652, in sage.rings.asymptotic.asymptotics_multivariate_generating_functions.FractionWithFactoredDenominator.?
Failed example:
    asy # long time
Expected:
    (4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 47/216*sqrt(3)/(sqrt(pi)*sqrt(r)),
     1, 4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 47/216*sqrt(3)/(sqrt(pi)*sqrt(r)))
Got:
    (4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 191/216*sqrt(3)/(sqrt(pi)*sqrt(r)),
     1,
     4/3*sqrt(3)*sqrt(r)/sqrt(pi) + 191/216*sqrt(3)/(sqrt(pi)*sqrt(r)))
**********************************************************************
File "src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py", line 1655, in sage.rings.asymptotic.asymptotics_multivariate_generating_functions.FractionWithFactoredDenominator.?
Failed example:
    F.relative_error(asy[0], alpha, [1, 2, 4, 8], asy[1]) # long time
Expected:
    [((3, 3, 2), 0.9812164307, [1.515572606], [-0.54458543...]),
     ((6, 6, 4), 1.576181132, [1.992989399], [-0.26444185...]),
     ((12, 12, 8), 2.485286378, [2.712196351], [-0.091301338...]),
     ((24, 24, 16), 3.700576827, [3.760447895], [-0.016178847...])]
Got:
    [((3, 3, 2), 0.9812164307, [2.167042622], [-1.208526635]),
     ((6, 6, 4), 1.576181132, [2.453648265], [-0.5567045026]),
     ((12, 12, 8), 2.485286378, [3.037931359], [-0.2223667203]),
     ((24, 24, 16), 3.700576827, [3.990777328], [-0.07842034220])]
**********************************************************************
1 item had failures:
   2 of 104 in sage.rings.asymptotic.asymptotics_multivariate_generating_functions.FractionWithFactoredDenominator.?
    [805 tests, 2 failures, 27.18 s]
----------------------------------------------------------------------
sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py  # 2 doctests failed
----------------------------------------------------------------------
Total time for all tests: 27.3 seconds
    cpu time: 27.2 seconds
    cumulative wall time: 27.2 seconds

These errors don't seem to be cosmetic (i. e. space, printing order, etc...).

ptestlong underway to find other snags... In the interim, needs_work

Sorry...

comment:17 in reply to: ↑ 16 Changed 2 years ago by charpent

Replying to charpent:

Doesn't smell good.. On top of 8.0.rc3+#24240, I get :

[ Snip... ]

ptestlong gave another error, which is reproducible standalone : 

sage -t --long src/sage/symbolic/expression.pyx
**********************************************************************
File "src/sage/symbolic/expression.pyx", line 5153, in sage.symbolic.expression.
Expression.substitute
Failed example:
    (1 + 1/x).subs({x: 1/x})
Expected:
    x + 1
Got:
    1/x + 1
**********************************************************************
1 item had failures:
   1 of  68 in sage.symbolic.expression.Expression.substitute
    [2776 tests, 1 failure, 85.34 s]

Definitely needs_work.

comment:18 follow-up: Changed 2 years ago by rws

It doesn't look like you updated your copy of the ticket branch, e.g.. git trac pull.24262.

comment:19 in reply to: ↑ 18 Changed 2 years ago by charpent

Replying to rws:

It doesn't look like you updated your copy of the ticket branch, e.g.. git trac pull.24262.

From the top of my git log : 

commit 7d9462cc8b91bc25f35559a17b2fce8a4efc8d5e
Merge: e885a67024 1782f910de
Author: Emmanuel Charpentier <emm.charpentier@free.fr>
Date:   Sun Nov 26 20:18:24 2017 +0100

    Merge branch 'u/rws/upgrade_to_pynac_0_7_13' of trac.sagemath.org:sage into tst24240_n_24262

commit 1782f910ded326252088dcd2c8169e0ffc471653
Author: Ralf Stephan <ralf@ark.in-berlin.de>
Date:   Sun Nov 26 08:49:40 2017 +0100

    24262: doctest last-minute-fix

commit 10a108dc41f6400dca0215e17cc5b57cb0d81a53
Author: Ralf Stephan <ralf@ark.in-berlin.de>
Date:   Sun Nov 26 08:48:53 2017 +0100

    24262: last-minute fix

commit e885a6702409e1bc1bdc1f5988057f2856655568
Merge: 7cde1424f3 46a7ebcbaa
Author: Emmanuel Charpentier <emm.charpentier@free.fr>
Date:   Wed Nov 22 21:58:13 2017 +0100

    Merge branch 'u/rws/upgrade_to_pynac_0_7_13' of trac.sagemath.org:sage into tst24240_n_24262

commit 46a7ebcbaa98ba7bcb61f1f5c8698489b0c9b9ca
Author: Ralf Stephan <ralf@ark.in-berlin.de>
Date:   Tue Nov 21 17:35:03 2017 +0100

    24262: pkg version/chksum

commit 7cde1424f39327192dfd72e7ca9ca0cb1db21895
Author: Emmanuel Charpentier <emm.charpentier@free.fr>
Date:   Sun Nov 19 18:46:59 2017 +0100

    24240 : Updated freetype to 2.8.1.

commit 92f95cef93000042532acbf8d84e4bede8e699ea
Author: Volker Braun <vbraun.name@gmail.com>
Date:   Fri Nov 17 14:21:52 2017 +0100

    Updated SageMath version to 8.1.rc2

commit 50a34e5f4378b9b4aba1ea972c57c4dd1e0eb8fb
Merge: e47ca9ea99 520fdab4f6
Author: Release Manager <release@sagemath.org>

I don't understand it, either...

comment:20 Changed 2 years ago by rws

The usual gotcha: I forgot to bump the patchlevel, so Pynac was not recompiled when you started make.

comment:21 Changed 2 years ago by git

  • Commit changed from 1782f910ded326252088dcd2c8169e0ffc471653 to 438816e7e65214a19a5fed12d10b6ada94041cb5

Branch pushed to git repo; I updated commit sha1. New commits:

​438816e24262: patchlevel

comment:22 Changed 2 years ago by rws

  • Status changed from needs_work to needs_review

comment:23 Changed 2 years ago by charpent

Smells better : 

charpent@asus16-ec:/usr/local/sage-8$ sage -t --long src/sage/symbolic/expression.pyx
too many failed tests, not using stored timings
Running doctests with ID 2017-11-27-09-25-00-2de1e0c6.
Git branch: tst24240_n_24262
Using --optional=database_gap,dot2tex,fricas,giacpy_sage,igraph,mpir,python2,python_igraph,sage
Doctesting 1 file.
sage -t --long src/sage/symbolic/expression.pyx
    [2776 tests, 21.99 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 22.4 seconds
    cpu time: 21.0 seconds
    cumulative wall time: 22.0 seconds
charpent@asus16-ec:/usr/local/sage-8$ sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py
too many failed tests, not using stored timings
Running doctests with ID 2017-11-27-09-26-14-fa0e402c.
Git branch: tst24240_n_24262
Using --optional=database_gap,dot2tex,fricas,giacpy_sage,igraph,mpir,python2,python_igraph,sage
Doctesting 1 file.
sage -t --long src/sage/rings/asymptotic/asymptotics_multivariate_generating_functions.py
    [805 tests, 26.29 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 26.4 seconds
    cpu time: 26.3 seconds
    cumulative wall time: 26.3 seconds

ptestlong underway...

comment:24 Changed 2 years ago by charpent

  • Status changed from needs_review to positive_review

On top of 8.0.rc3+#24240, passes ptestlong with no error whatsoever.

==>positive_review

comment:25 Changed 2 years ago by vbraun

  • Status changed from positive_review to needs_work

Merge conflict

comment:26 Changed 2 years ago by rws

  • Milestone changed from sage-8.2 to sage-duplicate/invalid/wontfix

We might as well upgrade to 0.7.14 in one go. I'll prepare #24329 as soon as 8.2.beta1 is out.

comment:27 Changed 2 years ago by rws

  • Status changed from needs_work to positive_review

Duplicate of #24329.

comment:28 Changed 2 years ago by embray

  • Resolution set to wontfix
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.