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

Ben Franksen ben.franksen at online.de
Wed Aug 19 10:12:17 UTC 2020


Am 19.08.20 um 03:26 schrieb James Cook:
>> I changed the definition of Context
>> Address to work better with my new "patch universe" definition, but I
>> think it amounts to the same thing.
> 
> Thinking about it more, I'm not sure my new definition of Context
> Address is a good one, since I've been finding it hard to associate a
> primitive context with every minimal context address in the same way I
> did in the hms_patchfinder writeup.
> 
> It might be better to stick closer to my original definition of
> context address. The proof should still be about as easy as the one in
> the linked pdf: if a context address points to two different contexts,
> you can conclude the contexts are equal because a name-balanced path
> connects. them.

I agree; your new definition is too general: you allow arbitrary signed
name multisets; whereas your original definition started out with a
valid sequence.

Cheers
Ben



More information about the darcs-users mailing list