Changes between Initial Version and Version 8 of Ticket #24219
 Timestamp:
 Nov 16, 2017, 8:49:59 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #24219

Property
Component
changed from
basic arithmetic
tocoercion

Property
Component
changed from

Ticket #24219 – Description
initial v8 1 1 {{{ 2 sage: t = RealField(2)(1) 3 sage: t >= 5/4 2 sage: RealField(2)(1) >= 5/4 4 3 True 5 4 }}} 6 This is clearly wrong. My guess is that {{{5/4}}} is first converted to a 2bit 5 This is clearly wrong. 6 7 The reason is that {{{5/4}}} is first converted to a 2bit 7 8 floatingpoint number, which is {{{1}}} in mode to nearest, then the comparison is made. 8 9 The fix is either to convert {{{5/4}}} with directed rounding (here toward +infinity),10 or to convert {{{t}}} to rational using {{{exact_rational}}}.