John Cremona describes an use of the algebraic QQbar domain :

Then I test

a=sqrt(2)-sqrt(3)
b=sqrt(3)-sqrt(2)

QQbar(a).minpoly() ; QQbar(b).minpoly() # seems right. The same even polynom.

But the test and the numerical values are True. I get +0.31 in both cases.

QQbar(a)==QQbar(b)

This method doesn't seem right for naive expression tests, in the calculus word not the algebraic one.


F.

--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to