#6204: [with patch, needs work] make norms for degree 1 relative number fields
work; add doctests
---------------------------+------------------------------------------------
Reporter: ncalexan | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.0.2
Component: number theory | Keywords: degree 1 relative number field norm
Reviewer: | Author:
Merged: |
---------------------------+------------------------------------------------
Comment(by fwclarke):
Replying to [comment:3 davidloeffler]:
> Hold it, this fails doctests under 4.0.1:
> ... The problem seems to be that we need to work around a pari bug in
"gens_reduced" as well as in "relative_norm".
I don't think there's anything wrong with `gens_reduced`.
It seems to be a coercion/conversion problem, caused, or at least not
helped, by the behaviour of `relativize`:
{{{
sage: K.<a> = NumberField(x^4 + 2*x^2 + 7)
sage: L.<b, c> = K.relativize(a + 1); L
Number Field in b with defining polynomial x - c + 1 over its base field
sage: L_base = L.base_field()
sage: L_base(b)
Traceback (most recent call last)
...
TypeError: Cannot coerce element into this number field
sage: L_base(c)
Traceback (most recent call last)
...
TypeError: Cannot coerce element into this number field
sage: parent(b) == L
True
sage: parent(c) == L
True
sage: parent(c) == L_base
False
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6204#comment:4>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
