# r2_fix_direct.py N=4 m=0..8 group=F2 (so_N-invariant vectors supported on basis tensors with trivial product)
N=4 m=0 group=F2: basis tensors with trivial product 1, equations 0, nullity mod p of A^T A = 1, |NC_2(m)| = 1, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 1  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=4 m=1 group=F2: no basis tensor with trivial product; intersection = 0; |NC_2(m)| = 0  OK
N=4 m=2 group=F2: basis tensors with trivial product 4, equations 8, nullity mod p of A^T A = 1, |NC_2(m)| = 1, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 1  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=4 m=3 group=F2: no basis tensor with trivial product; intersection = 0; |NC_2(m)| = 0  OK
N=4 m=4 group=F2: basis tensors with trivial product 28, equations 96, nullity mod p of A^T A = 2, |NC_2(m)| = 2, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 2  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=4 m=5 group=F2: no basis tensor with trivial product; intersection = 0; |NC_2(m)| = 0  OK
N=4 m=6 group=F2: basis tensors with trivial product 232, equations 1080, nullity mod p of A^T A = 5, |NC_2(m)| = 5, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 5  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=4 m=7 group=F2: no basis tensor with trivial product; intersection = 0; |NC_2(m)| = 0  OK
N=4 m=8 group=F2: basis tensors with trivial product 2092, equations 12096, nullity mod p of A^T A = 14, |NC_2(m)| = 14, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 14  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [6.1s]
ALL EQUALITIES EXACT
