Without reading the necessary material, my guess is that
deleteCharacters("def")
characters("def")
can be concatenated to
retain(3)
which gives you
retain(3)
retain(3)
retain(3)
which can then be further concatenated to
retain(9)
However, as I said, I haven't read the necessary material (yet -
getting to it), so take this with a grain of salt or two.
On Sep 8, 11:49 am, Eric Kidd <[email protected]> wrote:
> 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_Prope...
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
