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

[Ben Franksen]

Am 04.07.20 um 23:59 schrieb James Cook:
>> I think that whenever a sequence of patches starts and ends at a
>> primitive context (e.g. this is true of an unconflicted repository)
>> you can re-order the patches so that they are all primitive.
> 
> I should add: this probably requires allowing new permutations that
> weren't in the primitive theory. E.g. you can commute anything past
> A;A^, even if you couldn't in the primitive theory. This might mean
> some algorithms need to be changed; hopefully these changes will not
> make them less efficient.

You need to be very careful here. A commutes past B;B^ only if A at
least commutes with B. Otherwise you move B to an invalid context in
which it can no longer be applied.

Cheers
Ben