#9343: upgrade Pari to svn snapshot 12577 - a pre-release of Pari 2.4.3.
------------------------------------------------------------------------------------------+
Reporter: was
| Owner: jdemeyer
Type: enhancement
| Status: new
Priority: major
| Milestone: sage-4.6
Component: packages
| Keywords:
Author: Robert Bradshaw, John Cremona, Jeroen Demeyer, William Stein,
David Kirkby | Upstream: N/A
Reviewer:
| Merged:
Work_issues:
|
------------------------------------------------------------------------------------------+
Comment(by was):
I looked into the failures in heegner.py in extreme detail, and the
problem is entirely because of the following.
{{{
CURRENT SAGE:
sage: Q = QuadraticForm(QQ,3,[ 8657345368, 12759737420,
29300965980,4701524895, 21592798720, 24792432640 ])
sage: n = 11767
sage: time Q.representation_vector_list(n+1)[-1]
CPU times: user 1.96 s, sys: 0.00 s, total: 1.97 s
Wall time: 1.97 s
[(5207, -2829, -1845), (-5207, 2829, 1845)]
NEW SAGE (with NEW PARI):
sage: Q = QuadraticForm(QQ,3,[ 8657345368, 12759737420,
29300965980,4701524895, 21592798720, 24792432640 ])
sage: n = 11767
sage: time Q.representation_vector_list(n+1)[-1]
CPU times: user 1.85 s, sys: 0.00 s, total: 1.85 s
Wall time: 1.85 s
[(-5207, 2829, 1845), (5207, -2829, -1845)]
}}}
---
The difference is just that the vectors with given norm output by pari are
now in a different order. This causes some output to be slightly
different in Sage, but is not a bug. So it is 100% safe to change the
output in heegner.py to match what gets output now.
---
Regarding the error in ell_rational_field.py -- the *only* remaining issue
-- this is a doctest that John Cremona introduced for trac 4525:
http://trac.sagemath.org/sage_trac/ticket/4525
The difference is that "a" LLL reduced basis is now slightly different.
This seems extremely plausible, since PARI's LLL code was completely
changed in this new version (I recall Bill A. telling me they incorporated
a version of fplll into PARI). So very likely that doctest is fine too.
John C is the one who should sign off on it though, not Robert B (you're
in the clear).
I've taken the liberty of posting a patch that fixes the heegner.py tests,
and also the one LLL test in ell_rational_field.py (though I'd like to
hear from John C. about that).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9343#comment:196>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
