Re: [sage-devel] Rounding in Sage

2020-04-07 Thread Thierry
Hi, On Tue, Apr 07, 2020 at 02:10:28PM -, Simon King wrote: > Hi! > > A few days ago, I asked on sage-support about rounding in Sage. But > since there was no answer and since it is relevant to my teaching in the > upcoming semester, let me repost here (with modifications). An appropriate pl

[sage-devel] Rounding in Sage

2020-04-07 Thread Simon King
Hi! A few days ago, I asked on sage-support about rounding in Sage. But since there was no answer and since it is relevant to my teaching in the upcoming semester, let me repost here (with modifications). According to IEEE 754, the default rounding mode for floating-point operations is "round hal