#5126: error coercing stacked polynomial rings to relative number fields
------------------------------------------------------------+---------------
Reporter: ncalexan | Owner:
was
Type: defect | Status:
new
Priority: major | Milestone:
sage-3.3
Component: number theory | Resolution:
Keywords: polynomial ring coercion relative number field |
------------------------------------------------------------+---------------
Old description:
> From David Roe, reviewing #1367:
>
> {{{
> I'm not completely convinced that the following example is the behavior
> we want:
>
> sage: K.<a> = NumberField?(ZZx?.05 + 2, 'a') sage: L.<b> =
> K.extension(ZZx?.02 + 3*a, 'b') sage: u = QQu?.gen() sage: t =
> u.parent()t?.gen()
>
> sage: L(u*5) 5*b
>
> I guess if we're going to convert at all this makes the most sense, but I
> want to think about it a bit more. I'm even less convinced of the
> following:
>
> sage: W.<w> = t.parent()[] sage: L(w*5) 5*b sage: L(W(t)) 5*a sage:
> L(W(u)) TypeError?
> }}}
New description:
From David Roe, reviewing #1367:
I'm not completely convinced that the following example is the behavior we
want:
{{{
sage: K.<a> = NumberField?(ZZx?.05 + 2, 'a')
sage: L.<b> = K.extension(ZZx?.02 + 3*a, 'b')
sage: u = QQu?.gen()
sage: t = u.parent()t?.gen()
sage: L(u*5) 5*b
}}}
I guess if we're going to convert at all this makes the most sense, but I
want to think about it a bit more. I'm even less convinced of the
following:
{{{
sage: W.<w> = t.parent()[]
sage: L(w*5) 5*b
sage: L(W(t)) 5*a
sage: L(W(u)) TypeError?
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5126#comment:2>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
