#10677: Improve PARI interface for relative number fields
------------------------------+---------------------------------------------
Reporter: jdemeyer | Owner: davidloeffler
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.6.2
Component: number fields | Keywords: pari rnf
Author: Jeroen Demeyer | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Changes (by mstreng):
* status: needs_review => needs_work
Comment:
Hi Jeroen,
Did you ever test your new code for converting PARI relative number field
elements to Sage relative number field elements?
I get this (on 4.6.2.alpha3 regardless of whether I apply your patch):
{{{
sage: p = pari("Mod(Mod(x, x^2-y), y^3+17)"); p
0
}}}
Clearly "0" is incorrect. This seems to be a bug introduced by the PARI
upgrade:
{{{
GP/PARI CALCULATOR Version 2.4.3 (alpha)
(13:18) gp > Mod(Mod(x, x^2-y), y^3+17)
%1 = 0
(13:19) gp > Mod(Mod(x, x^2-y), y^3+17)==0
%2 = 1
}}}
{{{
GP/PARI CALCULATOR Version 2.3.4 (released)
(13:16) gp > Mod(Mod(x, x^2-y), y^3+17)
%1 = Mod(Mod(x, x^2 - y), y^3 + 17)
(13:20) gp > Mod(Mod(x, x^2-y), y^3+17)==0
%2 = 0
}}}
I can't test your patch this way:
{{{
sage: y = PolynomialRing(QQ,'y').gen()
sage: K.<a> = NumberField(y^3+17)
sage: x = PolynomialRing(K,'x').gen()
sage: L.<b> = NumberField(x^2-a)
sage: p = pari("Mod(Mod(x, x^2-y), y^3+17)")
sage: L(p)
0
sage: p.sage()
0
sage: p.sage().parent()
Integer Ring
}}}
It is possible that I am using PARI in the wrong way here. Regardless of
that, your patch should contain an example of converting PARI relative
number field elements to Sage relative number field elements.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10677#comment:6>
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.
