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