DIV und MOD II

CONST east = 0; south = 1; west = 2; north = 3; directions = 4; TYPE Direction = SHORTINT; (* east..north *) PROCEDURE TurnRight(dir: Direction) : Direction; BEGIN RETURN (dir + 1) MOD directions END TurnRight; PROCEDURE TurnLeft(dir: Direction) : Direction; BEGIN RETURN (dir - 1) MOD directions END TurnLeft;

An diesem Beispiel zeigt sich die wohltuende Symmetrie der F-Definition und der nach Euklid.

Bei Verwendung der T-Definition müßte der Rückgabewert von TurnLeft so berechnet werden:
RETURN (dir + directions - 1) MOD directions

x -5 -4 -3 -2 -1 0 1 2 3 4 5

T-Def.: x MOD 4
-1
0 -3 -2 -1 0 1 2 3 0 1

F-Def.: x MOD 4
3
0 1 2 3 0 1 2 3 0 1