#5828: number fields -- serious bug in coercion to a relative extension of
degree
1
-----------------------------------------+----------------------------------
Reporter: was | Owner: davidloeffler
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-4.5
Component: number fields | Keywords:
Author: Luis Felipe Tabera Alonso | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------------------+----------------------------------
Changes (by newvalueoldvalue):
* status: new => needs_review
* upstream: => N/A
* author: => Luis Felipe Tabera Alonso
Comment:
This is solved now (4.4.4)
{{{
sage: K.<w> = QuadraticField(-1)
sage: KX.<X> = K[]
sage: H.<h> = K.extension(X-1)
sage: H(w)
w
sage: H._NumberField_relative__base_inclusion(w)
w
}}}
{{{
sage: K.<w> = QuadraticField(-1);
sage: KX.<X> = K[]
sage: H.<h> =K.hilbert_class_field()
sage: (X + w + 1).base_extend(H)
X + w + 1
}}}
The bug should be closed, at most add the attached doctest.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5828#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.
