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
