|
FunLog++ message
|
Explanation
|
| (<4)
\/ 4 |
The message (<4)\/4 denotes the
union of an interval (<4) with the upper boundary 4 of this interval.
The FunLog++ interpreter evaluates this term which is a semiknown value.
Click on the message link to see the result of this calculation which is
displayed as (<=4). |
| 1 / ((-1)--(+1)) |
The message 1 / ( (-1) -- (+1) )
denotes an interval of numbers which is displayed as <(-1)
\/ >(1). |
| (1--3)
\/ (2--6) |
The message (1--3)\/(2--6) denotes
an interval of numbers which is displayed as (1--6).
Due
to an error in the FunLog++ standard library with this example the FunLog++
interpreter calculates (1--3) instead (1--6)! |
| 1 \/ (1--3)
\/ 3 |
The message 1\/(1--3)\/3 denotes
an interval of numbers which is displayed as (1=-=3).
Due
to an error in the FunLog++ standard library with this example the FunLog++
interpreter returns (Timeout after 25 s) instead of (1=-=3)! |