Changes between Version 44 and Version 57 of Ticket #12121


Ignore:
Timestamp:
07/13/16 16:39:50 (5 years ago)
Author:
vdelecroix
Comment:

New commits:

08ecc06Trac 12121: Fix floor/ceil
b2c5fbeTrac 12121: change __call__ and workaround
82ad303Trac 12121: fix doctests
194ba99Trac 12121: _evalf_ more consistent
2719621Trac 12121: do not check for relation
6f392b8Trac 12121: fix ._name -> ._alt_name

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12121

    • Property Commit changed from 313c497daaec6324dfe4ffdeb684844e301a3f61 to 6f392b8e7b2d562debabca7f99fa1b54180f83cb
    • Property Cc jdemeyer added
    • Property Milestone changed from sage-7.2 to sage-7.3
  • Ticket #12121 – Description

    v44 v57  
    88
    99This 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 (2 - epsilon, 2 + epsilon) and endpoints have different ceilings.
    10 
    11 The proposal is to:
    12  - first found an interval of reasonably small diameter (arbitrarily set to 2^-30^) and see whether this is enough to decide the ceiling
    13  - then check equality with the only available candidate (possibly doing some simplification)
    14  - start further refinement of the interval
    1510
    1611With the branch applied `math.floor` and `numpy.floor` are used directly