Good morning! I'm trying to understand the getInverse() operation, and
how it relates to composition and transformation.
If we have an operation:
retain(3)
deleteCharacters("def")
retain(3)
...and we calculate the inverse:
retain(3)
characters("def")
retain(3)
...then the composition of the two operations is:
retain(3)
deleteCharacters("def")
characters("def")
retain(3)
But for the purposes of transforming other operations, this is very
different from the identity operation. Correct?
retain(9)
Unless I'm totally confused, this implies that we cannot simply cancel
an operation/inverse pair. For example, where f and g are operations,
and "." is composition, then:
inv(g) . g . f
...cannot be treated as just:
f
...for the purpose of transforming other operations. Or, in other
words, the IP2 property[1] described on Wikipedia does not hold for
Google Wave.
Is this a correct interpretation of getInverse? Or am I just
confused? :-) As always, thank you for your help!
Cheers,
Eric
[1] http://en.wikipedia.org/wiki/Operational_transformation#Inverse_Properties
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Wave
Protocol" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/wave-protocol?hl=en
-~----------~----~----~----~------~----~------~--~---
