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

[Jon Awbrey]

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

TOP.  Commentary Note 48

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

Pase.

Pase is a function from pairs of ideas to ideas that
acts as a specialized significance and equality test.

The following figure illustrates the case of a non-nil result:

                  ^ 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 | = pase (that, this)
     @                            @

function pase (that, this: idea): idea;
begin
 pase :=
  divert (apse (
  coupon (suspect (that)),
  coupon (suspect (this))), this)
end;

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