Changes between Version 1 and Version 2 of Ticket #12121


Ignore:
Timestamp:
12/06/11 15:55:32 (9 years ago)
Author:
dsm
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12121 – Description

    v1 v2  
    1313}}}
    1414
    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.
     15This 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.
    1616
    1717One possible solution would be to try