Changes between Version 1 and Version 2 of Ticket #12121
- Timestamp:
- 12/06/11 15:55:32 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #12121 – Description
v1 v2 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. The RealIntervalrounds all fail because the interval is always of the form (1.99999, 2.0000), and endpoints have different ceilings.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