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

[Jon Awbrey]

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

TOP.  Commentary Note 37

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

Stem is a transformation of ideas that operates on the assumption that its
argument idea points to a form in a cycle of forms.  It is composed of the
specialized search operation Suit followed by the 'on'-field selector Trip.
The following figure illustrates a typical situation in which Stem is used:

                         o-----o
    o--------------------|--o  |
    |  o---o  o---o  o---o  |  |
    o->| m |->| n |->| ) |--o  |
       o---o  o---o  o---o     |
       ^             ^         |
       |      o------|---------o
       |     /       |
  this |    /        | suit (this)
       |   /         @
       |  /
o------|-/---------------------o
|  o---o< o---o  o---o  o---o  |
o->| ( |->| a |->| b |->| c |--o
   o---o  o---o  o---o  o---o
   ^
   | stem (this)
   @

function stem (this: idea): idea;
begin
 stem := trip (suit (this))
end;

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