[math-fun] Raghavendra's algorithm for solving linear systems over finite fields