#4738: base_ring of orders in relative number fields is wrong
-------------------------------------+-------------------------------------
Reporter: ncalexan | Owner: davidloeffler
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: number fields | Resolution:
Keywords: base ring | Merged in:
relative number field order | Reviewers:
Authors: Alex Ghitza | Work issues:
Report Upstream: N/A | Commit:
Branch: | 2b459322c84d9dac7087eb30f1db4b73db6ccb8c
u/AlexGhitza/ticket/4738 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by pbruin):
> Note the `L(a)` in the last line; this is because there is also the
following bug:
> {{{
> sage: s in R
> False # clearly wrong because R = ZZ[s, t] as a subring of L
> }}}
This would probably be fixed by implementing a coercion morphism from the
base order to the relative order. However, we currently cannot construct
this morphism at all:
{{{
sage: O.hom((R(s),))
...
TypeError: images do not define a valid homomorphism
}}}
The error probably arises because `Order._is_valid_homomorphism_()` is not
implemented.
--
Ticket URL: <http://trac.sagemath.org/ticket/4738#comment:12>
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.
