[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

Trace position as another coordinate

Consider an ent in which the trace coordinate for an orgl is simply
another distinction.  Everytime the splay operation pushes around a
distinction, it pushes the trace information (hCut and bertCrum) to
the same place.  This in fact makes sense, because every distinction
introduced into the ent is introduced by a copy operation, and
represents the difference between two orgls.

I'll expand on this idea another day.