Dear Michael,
On Nov 26, 11:34 am, mabshoff <[EMAIL PROTECTED]
dortmund.de> wrote:
> please open a ticket. I would guess as you did that those two related.
Done, it is # 4621.
By the way, the above problem appears even more directly:
sage: F.<a>= NumberField(x^2-2)
sage: 2 in QQbar
True
sage: F(2) in QQbar
False
Although F has no canonical embedding into QQbar, my understanding is
that there is a hopefully unique maximal subfield of F that does have
a canonical embedding into QQbar. If this is correct, there could be a
method F.max_subfield_coercing_into(QQbar), and since F(2) is in that
subfield, one has a reason to expect `F(2) in QQbar` to be True.
Best regards,
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
