> Despite what other people are saying in this thread, I definitely 100%
> consider the above a bug.
Despite what you say about what other said, I also believe that it is
a bug and that others in this thread agree with you.
But what about *two* bugs?
1) SR says that two unequal things are equal, and it should not say so
unless it can *prove* it (and here it cannot)
2) Why should <an_integer> * sqrt(1/2) belong to SR? Why isn't it
turned into an algebraic number immediately? If it did, the problem,
would be solved too, for:
sage: QQbar(m) == m1
False
Nathann
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
