#11869: Horrible bug in number field conversion
-------------------------------------------------------+--------------------
Reporter: jdemeyer | Owner:
davidloeffler
Type: defect | Status:
needs_work
Priority: major | Milestone:
sage-4.7.2
Component: number fields | Keywords:
coercion
Work_issues: p-adic embeddings, problems with #11873 | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
#11870
-------------------------------------------------------+--------------------
Comment(by nbruin):
From the patch:
{{{
If the number fields ``x.parent()`` and ``self`` have an
embedding in the same field, then those embeddings are used to
determine the correct conversion. If no such compatible
embeddings are given, then some possible conversion of ``x``
into ``self`` is given. This means a non-canonical element of
``self`` with the same minimal polynomial as ``x``.
}}}
Is that second bit absolutely necessary? I think this is horrible.
Throwing an error would be much preferable. With this, it would be
possible to have two fields K and L, elements a,b in K and have
{{{L(a+b)}}} not equal to {{{L(a)+L(b)}}}. That looks like something that
is going to be a perpetual source of problems and hard-to-find bugs.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11869#comment:6>
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.
