1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
1 in [1;2] returns true
4 in [1;2] returns false
17 + log2(13) / log2(9) in [18;19] returns true
17 + log2(13) / log2(9) in [1;2] returns false
sin((pi) / 3) - sqrt(3) / 2 in [1;2] returns false
The test will rely on pure FP evaluation.
sin((pi) / 3) - sqrt(3) / 2 in [0;2] returns true
The test will rely on pure FP evaluation.
sin((pi) / 3) - sqrt(3) / 2 in [-1;0] returns true
sin((pi) / 3) - sqrt(3) / 2 in [-1;1] returns true
The following inclusion test is not certified (probably equal to one of the endpoints)
sin((pi) / 6) in [0.5;1] returns true
The following inclusion test is not certified (probably equal to one of the endpoints)
sin((pi) / 6) in [0;0.5] returns true
sin((pi) / 6) in [0;1] returns true
sin((pi) / 6) in [1;2] returns false
[1;2] in [3;4] returns false
[2;3] in [1;4] returns true
[1;3] in [2;4] returns false
The following expression is not correctly typed.
e in Hello returns error
The following expression is not correctly typed.
1 in H1llo returns error
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
[NaN;NaN] in [2;4] returns false
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
[NaN;NaN] in [2;4] returns false
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
[2;4] in [NaN;NaN] returns false
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
[2;4] in [NaN;NaN] returns false
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
[NaN;NaN] in [NaN;NaN] returns false
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
Only one endpoint of the interval is NaN. Will replace it by [NaN,NaN]
[NaN;NaN] in [NaN;NaN] returns false
|
