#11685: Pari finite field extension: element created by list not recognised as
zero
----------------------------------------+-----------------------------------
Reporter: johanbosman | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: algebra | Keywords: finite fields, pari
Work_issues: | Upstream: N/A
Reviewer: Simon King, Johan Bosman | Author: Johan Bosman, Jeroen
Demeyer
Merged: | Dependencies:
----------------------------------------+-----------------------------------
Comment(by SimonKing):
With [attachment:trac_11685_pari_zero_list.patch], we have (correctly)
{{{
sage: K.<a>=GF(next_prime(2**60)**3)
sage: b = K([0])
sage:
K([b._FiniteField_ext_pariElement__value])._FiniteField_ext_pariElement__value
Mod(Mod(0, 1152921504606847009), Mod(1, 1152921504606847009)*a^3 +
Mod(1132330333307175281, 1152921504606847009)*a^2 +
Mod(564283687250211459, 1152921504606847009)*a + Mod(455334297379199858,
1152921504606847009))
}}}
With [attachment:11685.patch], that example fails as follows:
{{{
sage: K.<a>=GF(next_prime(2**60)**3)
sage: b = K([0])
sage:
K([b._FiniteField_ext_pariElement__value])._FiniteField_ext_pariElement__value
ERROR: An unexpected error occurred while tokenizing input
The following traceback may be corrupted or invalid
The error message is: ('EOF in multi-line statement', (1140, 0))
---------------------------------------------------------------------------
PariError Traceback (most recent call
last)
...
PariError: incorrect type (11)
}}}
I think it ''should'' be possible to use the value of a pari element for
the creation of a pari element. Hence, either we use the first patch, or
the second patch needs work.
Perhaps, one could merge the two patches and use Johan's algorithm
together with Jeroen's examples?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11685#comment:14>
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.
