FunLog++ introduction - glossary - language - library - special - semiknown - dynamic
SE1 - SE2 - SE3 - SE4 - SE5 - SE6 - SE7 - SE8 - SE9 - SE10
Semiknown Values (2)
Examples with Set Calculus

 
FunLog++ message
Explanation
(2\/4) + 3 The message (2\/4)+3 denotes the union of two numbers (2 or 4) plus the number 3. The FunLog++ interpreter evaluates this term which is a semiknown value (5 or 7). Click on the message link to see the result of this calculation which is displayed as (5\/7)
(1\/2) /\ (2\/3) The message (1\/2) /\ (2\/3) evalutaed to a number which is displayed as (2). Due to an error in the FunLog++ standard library with this example the FunLog++ interpreter returns _ instead of 2!
exp( 1 \/ 2 ) The message (4--8)*2 denotes an interval of numbers which is displayed as (2.72 \/ 7.39).

 
SE1 - SE2 - SE3 - SE4 - SE5 - SE6 - SE7 - SE8 - SE9 - SE10
FunLog++ introduction - glossary - language - library - semiknown - dynamic
Last modification: B. Pohl 22.August 2000 / 07.November 2000