Florent Becker wrote: > If I remember correctly, in the camp paper, that would correspond to the > "commute consistent" axiom. As far as i know, it cannot be deduced from > permutivity, ie it is really an axiom, but you don't need to introduce > merging, it is purely a property of commute.
Yes. You can, however, translate this property about commuting a sequence x C o A y B yz into a property about merging three patches o X x o Y y o Z z by defining X = C^(-1) Y = A Z = B' such that o A y B yz <-> o B' z A' yz Regards, apfelmus -- http://apfelmus.nfshost.com _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
