[darcs-users] How to extend a patch theory to fully commute

[Ben Franksen]

> Definition: A /patch sequence address/ is a tuple
> (a, b, (Qi), (nj), X, Y), where a and b are (primitive) contexts, (Qi)
> is a sequence of (primitive) patches going from a to b, nj is a sequence
> of unique names of patches in (Qi), and X and Y are a partition of the
> remaining names in (Qi). [...]

> Definition: Two minimal patch sequence addresses are /equivalent/ if all
> their properties are the same except possibly the patch sequences (Qi),
> and those two patch sequences are permutations of each other that can be
> achieved in the primitive patch theory.

Does that mean (a, b, (Pi), (nj), X, Y) and (a, b, (Qi), (mj), X, Y) are
not equivalent if (nj) and (mj) consist of the same set of names but in
a different order? If so, it may be worthwhile to say that explicitly.

Cheers
Ben