#8333: Finite fields to new coercion model
---------------------------+------------------------------------------------
Reporter: roed | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.3.4
Component: algebra | Keywords:
Author: David Roe | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
---------------------------+------------------------------------------------
Changes (by davidloeffler):
* status: needs_review => needs_work
Comment:
Some strange things going on here. I installed the patches on 4.3.4.rc0
with the preceding patches in the series applied.
(1) It builds fine, but Sage won't start because the patched
{{{finite_field_prime_modn.py}}} contains the line
{{{
from sage.rings.integer_mod_ring import IntegerModRing_generic
}}}
and that file has been removed by #8218.
(2) There is also a problem in {{{element_ext_pari.py}}} caused by the
line
{{{
elif isinstance(value, FreeModuleElement):
}}}
being used without FreeModuleElement being imported first.
(3) Next up, there's another issue in {{{element_ntl_gf2e}}} caused by
trying to import {{{is_FiniteField}}} from the wrong place.
(4) I'm getting a bunch of identical errors relating to the Singular
library -- it says
{{{
File "/home/masiao/sage-4.3.4.rc0/local/lib/python/site-
packages/sage/interfaces/singular.py", line 672, in
has_coerce_map_from_impl
raise NotImplementedError
}}}
(5) Something weird is going on in sage/modular/dirichlet.py which causes
an infinite recursion error when reducing an element of a number field
modulo a prime; this may well be dealt with by #8334, I haven't checked.
Same in three places in sage/schemes/elliptic_curves/ell_point.py and a
bunch of other elliptic curves modules, and in sage/rings/residue_field.py
(6) The patch changes a whole load of doctests in
sage/libs/flint/zmod_poly_linkage for no apparent reason, and thus causes
them to fail. (Are you running a newer FLINT version on your development
machine?)
(7) Various errors in the rings/finite_rings directory, e.g. this one:
{{{
File "/home/masiao/sage-4.3.4.rc0/local/lib/python/site-
packages/sage/rings/finite_rings/finite_field_ext_pari.py", line 580, in
_coerce_map_from_
elif self.degree() % K.degree() == 0:
NameError: global name 'K' is not defined
}}}
Most of these are trivial, but (4) is beyond my ability to fix. I'm sorry,
but that's definitely a "needs work".
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8333#comment:4>
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.
