Changes between Version 2 and Version 3 of Ticket #18334, comment 6
 Timestamp:
 05/04/15 09:47:23 (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #18334, comment 6
v2 v3 1 1 For `frac()`, you should check specifically if `1` or `1` should be contained in the result: 2 2 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]` 5 5 6 6 If you add the `frac()` of the endpoints, you should get everything.