Commit 77b87664 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent f1a9ce9e
......@@ -764,7 +764,12 @@ _ = K
2: K(1,2),
oo: K(2)}), // NOTE no ∞ -> 1, because 1 is added to the left
"T2,3/B1:a-B2:c-B3:c", // +3 in new bucket (to the right)
// +3 in new bucket (to the right)
Δ("T2,3/B1:a-B2:c-B3:c",
A{1: K(1),
2: K(2,3),
3: K(2,3),
oo: K(2,3)}), // XXX correct?
// bucket split; +3 in new bucket
"T/B1:a,2:b",
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment