Re: How to extend a patch theory to fully commute

Ben Franksen <[email protected]> Wed, 1 Jul 2020 12:21:27 +0200
Newsgroups gmane.comp.version-control.darcs.user
Message-ID <[email protected]>
Am 01.07.20 um 05:09 schrieb James Cook:
> The context address /points to/ a context c if there exists a
> permutation of (Qi) such that all the patches with names in X come
> before patches with names in Y, and c is the after-context of the k-th
> patch in the sequence (equivalently, the before-context of the (k+1)-th
> patch), where k = |X|.

and later:

> Definition: A context address (a, b, (Qi), X, Y) is /minimal/ if it is
> impossible (in the primitive patch theory) to commute the sequence (Qi)
> so that it begins with a patch in X or ends with a patch in Y.

Did you mix up X and Y here? I would have expected the sentence to say
"begins with a patch in Y or ends with a patch in X".

Cheers
Ben