#19573: Natural coercion from Integers(p*k) to GF(p) for prime p
-------------------------------------+-------------------------------------
Reporter: switzel | Owner:
Type: PLEASE CHANGE | Status: needs_work
Priority: major | Milestone: sage-6.10
Component: algebra | Resolution:
Keywords: coercion, rings | Merged in:
Authors: Stefan Witzel | Reviewers: Jeroen Demeyer
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/switzel/natural_coercion_from_integers_p_l__to_gf_p__for_prime_p|
449c826bda89aae879a81b9def76228397f0e4f1
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by jdemeyer):
* status: needs_review => needs_work
* reviewer: => Jeroen Demeyer
Comment:
1. I would put the test you added in the `EXAMPLES` block, not `TESTS`.
2. Add a test showing that there is no coercion from `Integers(9)` to
`GF(5)` for example.
3. Ideally it would also work for non-prime finite fields: there should be
coercion from `Integers(p*k)` to `GF(p^n)` (I'm not saying you must fix
this on this ticket, it's just a suggestion).
--
Ticket URL: <http://trac.sagemath.org/ticket/19573#comment:3>
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.
