On Sun, Jul 12, 2015 at 11:54 PM, David Goldberg <dg.paloa...@gmail.com> wrote: > This is in SageMath Version 6.6, Release Date: 2015-04-14 running on a > MacBook. The following lines print 'equal', even though m and m1 do not > appear equal to me! > > m=540579833922455191419978421211010409605356811833049025*sqrt(1/2) > m1=382247666339265723780973363167714496025733124557617743 > if m == m1: > print "equal"
Hi, Despite what other people are saying in this thread, I definitely 100% consider the above a bug. Doing m == m1, should first coerce both to SR, then compare there. Comparison there is supposed to currently return true only if we can prove the two things are equal -- otherwise false (that said, there is a proposal to raise an exception if equality can't be determined, which I like). I think at one point in time Robert Bradshaw implemented comparison in SR using interval arithmetic and progressively higher precision; then if that suggested equality (it can't ever prove it), then Sage would fall back to other methods. Anyways, definitely a very serious bug. William https://cloud.sagemath.com/projects/4a5f0542-5873-4eed-a85c-a18c706e8bcd/files/support/2015-07-13-084935-precision.sagews > > > -- > 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. -- William (http://wstein.org) -- 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.
