projections P_g of w = diag(R(a),R(b)): orthogonal rank-1 projections, sum 1, P_{g^-1}=conj(P_g): True
root vectors antisymmetric in the standard basis and span so_4(C) with the Cartan (dim 6): True
m=7: #trivial words=0  Catalan=0  no dual(F_2)-fixed vectors, intersection = 0
m=8: #trivial words=2092  Catalan=14 | F(exact): eqs=12096 rank(M^TM) mod p1/p2=2078/2078 nullity<=14 Banica in kernel=True rank(Banica)=14/14 | E(float): nullity=14 largest "zero" eig=1.36e-13 next eig=4.0000 | dim intersection = Catalan: True  [66.9s]
