Definition
easycomp
:
comparison
:=
let
h
:=
v
+
e2
-
e10
- 37
in
let
g
:=
e10
- 15
in
let
phih
:= (225799 *
h
) / (2 ^ 19)
in
if
g
<
phih
then
Gt
else
if
g
>
phih
then
Lt
else
Eq
.