Algebraic tree description#23

Merged

zenhack merged 10 commits into

hashsplit:masterfrom

bobg:algebraic-tree

Oct 27, 2020

Commits on Oct 2, 2020

WIP: algebraic description of hashsplit-tree construction.
bobg
committed

Commits on Oct 8, 2020

Flesh out the rest of the algebraic tree description. Also don't overload C; use S for a node's children.
bobg
committed
Merge branch 'master' into algebraic-tree
bobg
committed

Commits on Oct 9, 2020

Various fixes (including an important correctness fix) plus some explanatory text.
bobg
committed

Commits on Oct 10, 2020

Commits on Oct 18, 2020

Factor out a parameterized prefix/remainder notation and use it to make both SPLIT_C and the tree algorithm more concise.
bobg
committed

Commits on Oct 27, 2020