On Thu, Oct 22, 2020 at 11:51 PM Volker Braun <vbraun.n...@gmail.com> wrote: > > On Wednesday, October 21, 2020 at 1:43:43 PM UTC+2 dim...@gmail.com wrote: >> >> I gather that (ignoring NaNs and +/-infinities) >> the addition and multiplication are commutative here > > > > Actually not even x+y == x+y is guaranteed and may fail once you let the > optimizer loose ;) > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=323 > we are talking about MPFR floats here, not the bare metal (RDF). Not sure if MPFR are slightly less insane.
Otherwise, yes, to quote a comment on bugzilla/show_bug.cgi?id=323: I'd like to welcome the newest members of the bug 323 community, where all x87 floating point errors in gcc come to die! All floating point errors that use the x87 are welcome, despite the fact that many of them are easily fixable, and many are not! We're all one happy family, making the egregious mistake of wanting accuracy out of the most accurate general purpose FPU on the market! > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/ca1e2497-e7df-43f5-97fc-72d1a837ff33n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3HkzRHQ_nHXQboSjTwKOma-mTXzF26qLzg32b8zk5VPg%40mail.gmail.com.
