Convention: exponents al,be in N^3 with 1<=|al|,|be|<=6, linearly independent, lam(al,be)=0.
columns: unordered pairs | ordered | unordered with |al|+|be|<=6 | first pair (min total degree)
4.10a (1,2,3) : (191, 382, 20, (4, (0, 1, 0), (2, 0, 1)))
4.10b (1,1,sqrt2) : (86, 172, 15, (3, (0, 1, 0), (1, 0, 1)))
4.10c (1,sqrt2,-1-sqrt2) : (0, 0, 0, None)
4.10d (sqrt2,-2,1) : (0, 0, 0, None)
4.10e (1,sqrt2,sqrt3) : (0, 0, 0, None)
control (1,sqrt2,1+sqrt2) [rho=2, n=(1,-1,1)]: (30, 60, 5, (4, (1, 1, 0), (0, 1, 1)))
Theorem D bracket, n=4, degrees<=4: (0, 0, 0, None)
control all lam_ij=1, n=4, degrees<=4: (156, 312, 13, (3, (0, 0, 1, 0), (0, 1, 0, 1)))
Theorem D: lam-orthogonal independent pairs in {-3..3}^4 (any signs): 0
Theorem B on 300 random rho=2 triples k in Q(sqrt2)^3: {'pred_yes_construction_ok': 201, 'pred_yes_construction_BAD': 0, 'pred_no_search_none': 99, 'pred_no_search_FOUND': 0}
control: construction impossible for same-sign n (expected 3 failures): 3
