#5126: error coercing stacked polynomial rings to relative number fields
---------------------------+------------------------------------------------
Reporter: ncalexan | Owner: was
Type: defect | Status: new
Priority: major | Milestone:
Component: number theory | Keywords: polynomial ring coercion relative
number field
---------------------------+------------------------------------------------
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>
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
-~----------~----~----~----~------~----~------~--~---
