[Inquiry] Re: Theme One Program -- Commentary -- Apes

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

TOP.  Commentary Note 49

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Apes.

Apes is a function from pairs of ideas to ideas that
acts as a specialized significance and equality test.
It computes the logical disjunction of the Sape test
and the Pase test, as shown in the following figures:

Case 1.  atom (that) =/= nil.  arch (that) = arch (this).

        o---o           o---o
        | a |           | a |
        o---o           o---o
        ^               ^
   that |          this | = apes (that, this)
        @               @

Case 2.  arch (that) = arch (this) = blank.

      ^ ante (that) = ^ ante (this) =/= nil
       \               \
        o---o           o---o
        |   |           |   |
        o---o           o---o
        ^               ^
   that |          this | = apes (that, this)
        @               @

Case 3.  pase (that, this) =/= nil.

                     ^ ante (coupon (that))   =   ^ ante (coupon (this))
                o---o \                      o---o \
        o-------|---|--\--------o    o-------|---|--\--------o
        |   o---o   |   o---o   |    |   o---o   |   o---o   |
        o-->| ) |---|-->|   |---o    o-->| ) |---|-->|   |---o
            o---o   |   o---o            o---o   |   o---o
            ^       |   ^                ^       |   ^
            |       |   | coupon (that)  |       |   | coupon (this)
            |       |   @                |       |   @
            |       |                    |       |
    o-------|---o   |            o-------|---o   |
    |   o---o   |   |            |   o---o   |   |
    o-->| ( |---o   |            o-->| ( |---o   |
        o---o<------o                o---o<------o
        ^                            ^
   that |                       this | = apes (that, this)
        @                            @

function apes (that, this: idea): idea;
var here: idea;
begin
 here := nil;
 if this <> nil then
  if sape (that, this) <> nil then here := this
   else if pase (that, this) <> nil then here := this;
 apes := here
end;

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o