[math-fun] Linear algebra over finite fields ?