Definition
direct_method_alg
:=
let
v
:=
n
*
f_tbl
h
-
m
* 2 ^ 127
in
if
v
< - 2 ^ 57
then
Gt
else
if
v
> 2 ^ 57
then
Lt
else
Eq
.