#12363: Upgrade PARI to 2.5.1
---------------------------+------------------------------------------------
Reporter: jdemeyer | Owner: tbd
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: packages | Keywords:
Work_issues: | Upstream: Completely fixed; Fix reported
upstream
Reviewer: | Author: Jeroen Demeyer
Merged: | Dependencies:
---------------------------+------------------------------------------------
Comment(by jdemeyer):
Let K be the number field '''Q'''[y]/(y^2^ + y + 1).
Let L be the relative number field K[x]/(x^4^ + y*x + 2).
We can also write L = {'''Q'''[y]/(y^2^ + y + 1)}[x]/(x^4^ + y*x + 2)
(braces added for clarity).
Now consider the element x*y in L, we ask for its relative representation
in PARI. Given the above, the correct answer is
{{{
Mod(Mod(y, y^2 + y + 1)*x, x^4 + y*x + 2)
}}}
So, the new answer to the doctest is more correct than the old.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12363#comment:12>
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.
