Changes between Initial Version and Version 1 of Ticket #12121


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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12121 – Description

    initial v1  
    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.
     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