implement polynomial factorization over finite fields