#11777: Coercion/printing problem with p-adics
-------------------------+--------------------------------------------------
Reporter: robharron | Owner: roed
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-4.8
Component: padics | Keywords: padics, repr_spec, repr_gen
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-------------------------+--------------------------------------------------
Changes (by roed):
* status: new => needs_review
Comment:
The fallback mode for the `__init__` method of `padic_ZZ_pX_CR_element` is
to try to convert the input to a list. This is why the conversion (not
coercion: you explicitly asked Sage to construct an element of QQq if
possible) is just sending generator to generator.
The empty `_ext_p_list` is the result of a missing check in the method
constructing a p-adic element from a `ZZ_pX`. I've added that check in
the attached patch.
The coercion map you want from K to QQq needs to wait until completions of
number fields are supported: see
http://wiki.sagemath.org/padics/Completions.
Thanks for catching the bug!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11777#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 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.
