> 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 _______________________________________________ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users
