Filip/matrix-spec
1
0
Fork 0
mirror of https://github.com/matrix-org/matrix-spec synced 2026-03-26 04:54:10 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Notation fixes

Browse source
This commit is contained in:
David Robertson 2022-06-14 18:33:25 +01:00
parent 9bccc0f7d0
commit 7cac4700dc
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
content/rooms/fragments/v2-state-res.md
View file

@ -56,10 +56,10 @@ The *auth difference* is calculated by first calculating the full auth
chain for each state *S*<sub>*i*</sub>, and then discarding the events chain for each state *S*<sub>*i*</sub>, and then discarding the events
belonging to each full auth chain. In symbols: if *F*(*S*) is the full auth belonging to each full auth chain. In symbols: if *F*(*S*) is the full auth
chain of a collection of events *S*, the auth difference is chain of a collection of events *S*, the auth difference is
∪<sub>*i*</sub> *F*(*S<sub>i*</sub>) - ∩<sub>*i*</sub> *F*(*S<sub>i</sub>*). ∪<sub>*i*</sub> *F*(*S<sub>i</sub>*) - ∩<sub>*i*</sub> *F*(*S<sub>i</sub>*).
This can be computed more efficiently as This can be computed more efficiently as
*F*(*C*) - ∩<sub>*i*</sub> *F*(*S<sub>i* - *C*) , *F*(*C*) - ∩<sub>*i*</sub> *F*(*S*<sub>*i* - *C*</sub>) ,
where *C* is the conflicted state set. where *C* is the conflicted state set.
**Full conflicted set.** **Full conflicted set.**