#11938: Finite fields defined by Conway polynomials: conversion of elements into
subfields
-------------------------------------------------+-------------------------
Reporter: dkrenn | Owner: cpernet
Type: enhancement | Status:
Priority: major | needs_info
Component: finite rings | Milestone: sage-5.11
Keywords: finite field, givaro, Conway | Resolution:
polynomial, conversion, coercion sd51 | Merged in:
Authors: Daniel Krenn | Reviewers: Jean-
Report Upstream: N/A | Pierre Flori
Branch: | Work issues:
Dependencies: #13214 | Commit:
| Stopgaps:
-------------------------------------------------+-------------------------
Changes (by pbruin):
* status: needs_work => needs_info
* dependencies: #12084, #8335 => #13214
Comment:
I just finished reviewing (and slightly extending) #13214. It seems to me
that the problem of mapping finite field elements into subfields is now
solved in a more systematic way by #13214.
This is due to the following fact: if you have a coercion map ''K'' ->
''L'' and a section of this map, and if ''b'' is in ''L'', typing `K(b)`
will try to apply the section to ''b''. Indeed, extending the example in
comment:19, one can now type
{{{
sage: sage: F9=GF(9, conway=True, prefix='z')
sage: sage: F81=GF(81, conway=True, prefix='z')
sage: sage: F81(F9.gen())
2*z4^3 + 2*z4^2 + 1
sage: F9(F81.gen()^10)
z2
}}}
Am I correct that #13214 (if positively reviewed) supersedes this ticket?
--
Ticket URL: <http://trac.sagemath.org/ticket/11938#comment:20>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
