#12147: Binary NTL Finite field elements can't coerce to GF(2)
----------------------------+-----------------------------------------------
Reporter: jsrn | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-4.8
Component: algebra | Keywords: finite field, algebra
Work_issues: | Upstream: N/A
Reviewer: Julian Rueth | Author: Johan S.R. Nielsen
Merged: | Dependencies:
----------------------------+-----------------------------------------------
Old description:
> For Finite fields when an element also exists in a subfield it should
> support coercion. This is not always possible for binary ntl fields and
> its prime subfield GF(2).
>
> {{{
> sage: Fbig.<a> = GF(2^18)
> one = a^(2^18-1)
> GF(2)(one)
> <BOOM>
> TypeError: unable to coerce <type
> 'sage.rings.finite_rings.element_ntl_gf2e.FiniteField_ntl_gf2eElement'>
> to an integer
> }}}
>
> It seems to work for other finite field characteristics.
New description:
For Finite fields when an element also exists in a subfield it should
support coercion. This is not always possible for binary ntl fields and
its prime subfield GF(2).
{{{
sage: Fbig.<a> = GF(2^18)
one = a^(2^18-1)
GF(2)(one)
<BOOM>
TypeError: unable to coerce <type
'sage.rings.finite_rings.element_ntl_gf2e.FiniteField_ntl_gf2eElement'> to
an integer
}}}
It seems to work for other finite field characteristics.
----
Apply
1. [attachment:12147_review.patch]
to the sage library.
--
Comment(by saraedum):
apply 12147_review.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12147#comment:5>
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.
