Changes between Initial Version and Version 1 of Ticket #12121
 Timestamp:
 12/06/11 15:55:19 (9 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #12121 – Description
initial v1 13 13 }}} 14 14 15 This happens because ceil and floor first try to increase the precision of a coercion of the input argument to a `RealInterval` by 100 bits from 53 to 20000 before finally trying a full_simplify, which succeeds. 15 This happens because ceil and floor first try to increase the precision of a coercion of the input argument to a `RealInterval` by 100 bits from 53 to 20000 before finally trying a full_simplify, which succeeds. The RealInterval rounds all fail because the interval is always of the form (1.99999, 2.0000), and endpoints have different ceilings. 16 16 17 17 One possible solution would be to try