Changes between Version 2 and Version 3 of Ticket #18334, comment 6


Ignore:
Timestamp:
05/04/15 09:47:23 (7 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18334, comment 6

    v2 v3  
    11For `frac()`, you should check specifically if `-1` or `1` should be contained in the result:
    22
    3 - if the interval `]a,b]` contains a positive integer: `frac()` must contain `[0,1]`
    4 - if the interval `[a,b[` contains a negative integer: `frac()` must contain `[-1,0]`
     3- if the interval `]a,b]` contains a positive integer (check if `floor(b) > max(a,0)`): `frac()` must contain `[0,1]`
     4- if the interval `[a,b[` contains a negative integer (check if `ceil(a) < min(b,0)`): `frac()` must contain `[-1,0]`
    55
    66If you add the `frac()` of the endpoints, you should get everything.