#16401: Use FiniteFieldHomomorphism_prime for embeddings of GF(p)
----------------------------+---------------------------------------------
Reporter: pbruin | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone: sage-6.3
Component: finite rings | Keywords: finite field homomorphism
Merged in: | Authors: Peter Bruin
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
----------------------------+---------------------------------------------
Embeddings of finite fields currently do not have consistent types:
{{{
sage: F = GF(5)
sage: F2 = GF(5^2, conway=True, prefix='z')
sage: F4 = GF(5^4, conway=True, prefix='z')
sage: f = F2.coerce_map_from(F); f
Conversion map:
From: Finite Field of size 5
To: Finite Field in z2 of size 5^2
sage: type(f)
<type 'sage.structure.coerce_maps.DefaultConvertMap_unique'>
sage: g = F4.coerce_map_from(F2); g
Ring morphism:
From: Finite Field in z2 of size 5^2
To: Finite Field in z4 of size 5^4
Defn: z2 |--> z4^3 + z4^2 + z4 + 3
sage: type(g)
<type
'sage.rings.finite_rings.hom_finite_field.FiniteFieldHomomorphism_generic'>
}}}
The purpose of this ticket is to make the construction of `f` use
`FiniteFieldHomomorphism_prime`. This will give us more functionality, in
particular sections of such embeddings.
--
Ticket URL: <http://trac.sagemath.org/ticket/16401>
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/d/optout.
