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=2: #trivial words=4  Catalan=1 | F(exact): eqs=8 rank(M^TM) mod p1/p2=3/3 nullity<=1 Banica in kernel=True rank(Banica)=1/1 | E(float): nullity=1 largest "zero" eig=-1.39e-16 next eig=4.0000 | dim intersection = Catalan: True  [0.0s]
m=3: #trivial words=0  Catalan=0  no dual(F_2)-fixed vectors, intersection = 0
m=4: #trivial words=28  Catalan=2 | F(exact): eqs=96 rank(M^TM) mod p1/p2=26/26 nullity<=2 Banica in kernel=True rank(Banica)=2/2 | E(float): nullity=2 largest "zero" eig=7.11e-15 next eig=4.0000 | dim intersection = Catalan: True  [0.0s]
m=5: #trivial words=0  Catalan=0  no dual(F_2)-fixed vectors, intersection = 0
m=6: #trivial words=232  Catalan=5 | F(exact): eqs=1080 rank(M^TM) mod p1/p2=227/227 nullity<=5 Banica in kernel=True rank(Banica)=5/5 | E(float): nullity=5 largest "zero" eig=2.82e-14 next eig=4.0000 | dim intersection = Catalan: True  [0.1s]
