28 lines
769 B
Text
28 lines
769 B
Text
include xpllib; \for Print
|
|
|
|
real Inf, Minus_inf, Minus_zero, Nan;
|
|
[Inf:= 1.0/0.0;
|
|
Minus_Inf:= -1.0/0.0;
|
|
Minus_zero:= -1.0/ Inf ;
|
|
Nan:= 0.0/0.0;
|
|
|
|
Print("positive Infinity: %f\n", Inf);
|
|
Print("negative Infinity: %f\n", Minus_Inf);
|
|
Print("negative zero: %f\n", Minus_zero);
|
|
Print("not a number: %f\n", Nan);
|
|
|
|
\some arithmetic
|
|
|
|
Print("+Inf + 2.0:= %f\n", Inf + 2.0);
|
|
Print("+Inf - 10.1:= %f\n", Inf - 10.1);
|
|
Print("+Inf + -Inf:= %f\n", Inf + Minus_Inf);
|
|
Print("0.0 * +Inf:= %f\n", 0.0 * Inf);
|
|
Print("1.0/-0.0:= %f\n", 1.0/Minus_zero);
|
|
Print("NaN + 1.0:= %f\n", Nan + 1.0);
|
|
Print("NaN + NaN:= %f\n", Nan + Nan);
|
|
|
|
\some comparisons
|
|
|
|
Print("NaN = NaN:= %s\n", if Nan = Nan then "true" else "false");
|
|
Print("0.0 = -0.0:= %s\n", if 0.0 = Minus_zero then "true" else "false");
|
|
]
|