# r2_fix_direct.py N=5 m=0..7 group=F2 (so_N-invariant vectors supported on basis tensors with trivial product)
N=5 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=5 m=1 group=F2: basis tensors with trivial product 1, equations 4, nullity mod p of A^T A = 0, |NC_2(m)| = 0, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 0  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=5 m=2 group=F2: basis tensors with trivial product 5, equations 16, 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=5 m=3 group=F2: basis tensors with trivial product 13, equations 72, nullity mod p of A^T A = 0, |NC_2(m)| = 0, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 0  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=5 m=4 group=F2: basis tensors with trivial product 53, equations 304, 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=5 m=5 group=F2: basis tensors with trivial product 181, equations 1300, nullity mod p of A^T A = 0, |NC_2(m)| = 0, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 0  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [0.0s]
N=5 m=6 group=F2: basis tensors with trivial product 713, equations 5544, 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.3s]
N=5 m=7 group=F2: basis tensors with trivial product 2689, equations 23716, nullity mod p of A^T A = 0, |NC_2(m)| = 0, T_q in null space: True, T_q supported on trivial products: True, rank of the T_q mod p = 0  => EXACT EQUALITY Fix_SO cap Fix_dual = TL_N(m)   [14.4s]
ALL EQUALITIES EXACT
