[darcs-devel] How, exactly, is parallel patches defined?

[Jules Colding]

Hi,

Sorry for asking such a fundamental question, but I'm currently  
studying appendix A in the darcs2 manual and section A.4 confuses me  
somewhat.

It states that parallel patches are solely defined by having an  
identical context. Nothing else is stated about their nature or  
exactly how one would analytically recognize two patches as being  
parallel. Further reading seems to imply that parallel patches are  
actually defined by having the additional property of being  
commutative with respect to their shared context:


P1 || P2 <==> P1P2 = P2P1


Is that a correct interpretation?

Thanks,
   jules