I do not understand this :
sage: sqrt(1) in QQbar
True
sage: sqrt(-2) in QQbar
True
sage: sqrt(-1) in QQbar
False
Can someone explain ?
Note that, however :
sage: [t[0] in QQbar for t in (x^2+1).roots(ring=QQbar)]
[True, True]
This is definitely a bug, thanks for reporting! As you can see in the source code:
sage: QQbar.__contains__??
the test:
elif EQ:
which corresponds to:
sage: bool(I == QQbar(I))
leads to:
TypeError: unsupported operand parent(s) for +: 'Number Field in I with defining polynomial x^2 + 1' and 'Algebraic Field'
which is catched to return False.
I have opened trac ticket 24209 for this.
Still the same bug on SageMath version 8.2, Release Date: 2018-05-05 . Nobody fix this? 0.0
@Emmanuel Charpentier thanks for 1), my mistake. I decided to move back to linux, so my comment doesnt have sense anymore. Thanks for the feedback!
Asked: 2017-11-12 20:55:13 +0200
Seen: 443 times
Last updated: Aug 03 '18
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
