Proof of X≤Y inverse to X˃Y

[Gamo]

One more example for X>Y conditional test out of curiosity.

This program keep adding 1 and pause in X stack to compare with 10 in Y stack

Procedure: Clear Register REG

R/S --> 1, 2, 3,...,10 then stop at 11 because 11 > 10

Program:

Code:


01  1
02 STO+1
03 RCL 1
04 PSE
05  1
06  0
07 X<>Y
08 X≤Y ?    // Line 08 to 10 test become  X>Y
09 X≤Y ?
10 X≤Y ?
11 GTO 01    // (False) number still less than 10 then loop and add
12 RCL 1    // (Ture) Now number is larger than 10 and stop

Gamo