PASS Ex7.1 theta are probability vectors
PASS Ex7.1 completion reproduces x at x11=1/4
PASS Ex7.1 B(1/4)=21/32
PASS Ex7.1 B(1/20)=133/160
PASS Ex7.1 B(9/20)=391/480
PASS Ex7.1 midpoint criterion strict
PASS Ex7.1 endpoint 1/20 violates
PASS Ex7.1 endpoint 9/20 violates
PASS Ex7.1 coordinate sums 63/160, 127/160
PASS Ex7.1 midpoint
   Ex7.1 interval roots: 0.083076 0.282120
PASS Ex7.1 roots 0.0830..., 0.2821...
PASS Ex7.1 boundary at root 0.0831
PASS Ex7.1 boundary at root 0.2821
PASS Ex7.2 completion at x112=9/32
PASS Ex7.2 (P,Q) at 9/32 = (3/8,1/8)
PASS Ex7.2 (P,Q) at 1/100
PASS Ex7.2 (P,Q) at 221/400
PASS Ex7.2 midpoint strict
PASS Ex7.2 endpoint 1/100 violates
PASS Ex7.2 endpoint 221/400 violates
PASS Ex7.2 sums 79/400, 37/50
PASS Ex7.2 midpoint
   Ex7.1 oracle x11=1/4 residual 3.917e-19
PASS Ex7.1 oracle agrees at x11=1/4
   Ex7.1 oracle x11=1/20 residual 2.375e-04
PASS Ex7.1 oracle agrees at x11=1/20
   Ex7.1 oracle x11=9/20 residual 4.486e-04
PASS Ex7.1 oracle agrees at x11=9/20
   Ex7.2 oracle x112=9/32 residual 4.253e-22
PASS Ex7.2 oracle agrees at x112=9/32
   Ex7.2 oracle x112=1/100 residual 1.962e-04
PASS Ex7.2 oracle agrees at x112=1/100
   Ex7.2 oracle x112=221/400 residual 3.297e-03
PASS Ex7.2 oracle agrees at x112=221/400
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=2
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=3
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=4
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=5
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=6
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=7
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=8
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=9
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=10
PASS Prop3.1 (1-1/(2n))^n > 1/2 for n=11
PASS Rem7.3 example pinned elements are 122 and 212
PASS Rem7.3 example meets every slice
PASS Prop6.1 formula at 40 random rational completions
PASS Prop5.1(a) (2, 2, 2)
PASS Prop5.1(a) (3, 2, 2)
PASS Prop5.1(a) (2, 3, 4)
PASS Prop5.1(a) (3, 3, 3)
PASS Prop5.1(a) (2, 2, 2, 2)
PASS Prop5.1(a) (4, 3, 2, 2)
PASS Prop5.1(a) (2, 2, 2, 2, 2)
PASS Prop5.1(b) 3x3
PASS Prop5.1(b) 3x5
PASS Prop5.1(b) 4x4
PASS Prop5.1(b) 5x3
PASS Prop5.1(b) 6x4
ALL PASS
