#13214: Frobenius endomorphism over finite fields
-------------------------------------------+--------------------------------
Reporter: caruso | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.11
Component: basic arithmetic | Resolution:
Keywords: frobenius finite fields | Work issues: does not build
Report Upstream: N/A | Reviewers: Paul Zimmermann
Authors: Xavier Caruso | Merged in:
Dependencies: #13184 | Stopgaps:
-------------------------------------------+--------------------------------
Changes (by pbruin):
* cc: pbruin (added)
Comment:
This looks interesting. One question at the moment: it does not appear to
relate to the functionality that currently exists. Is that intentional?
I can already type, for example,
{{{
sage: F9.<a>=GF(3^2)
sage: F81.<b>=GF(3^4)
sage: f=F9.hom((b^10,))
sage: f
Ring morphism:
From: Finite Field in a of size 3^2
To: Finite Field in b of size 3^4
Defn: a |--> 2*b^3 + 2*b^2 + 1
sage: f(a^2+a)
b^3 + b^2
sage: type(f)
<class 'sage.rings.finite_rings.homset.FiniteFieldHomomorphism_im_gens'>
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13214#comment:25>
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.
