Ask Your Question

i doesn't belong to QQbar ? Why ?

asked 2017-11-12 20:55:13 +0200

Emmanuel Charpentier gravatar image

updated 2021-06-27 16:35:38 +0200

tmonteil gravatar image

I do not understand this :

sage: sqrt(1) in QQbar
sage: sqrt(-2) in QQbar
sage: sqrt(-1) in QQbar

Can someone explain ?

Note that, however :

sage: [t[0] in QQbar for t in (x^2+1).roots(ring=QQbar)]
[True, True]
edit retag flag offensive close merge delete


Still the same bug on SageMath version 8.2, Release Date: 2018-05-05 . Nobody fix this? 0.0

Javidlg gravatar imageJavidlg ( 2018-08-03 14:46:47 +0200 )edit

1) This is not an answer...

2) see the mentioned ticket (as well as thetickets it refers to) to understand why there is not quick-and-easy fix for this one...

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2018-08-03 21:08:11 +0200 )edit

@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!

Javidlg gravatar imageJavidlg ( 2019-03-04 16:13:09 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2017-11-13 01:12:08 +0200

tmonteil gravatar image

updated 2021-06-27 16:31:50 +0200

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.

EDIT This issue is fixed now (Sage 9.4-beta3):

sage: sqrt(-1) in QQbar                                                                                                                                                                                      
sage: I in QQbar                                                                                                                                                                                             
edit flag offensive delete link more


Until Sage 9.3.rc4 I in QQbar returns False. Starting with Sage 9.3.rc5 it returns True.

It must have been solved by Sage Trac ticket 31628: fix/improve conversions to QQbar and AA.

slelievre gravatar imageslelievre ( 2021-06-27 23:51:15 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-11-12 20:55:13 +0200

Seen: 594 times

Last updated: Jun 27