多項式の既約性の判定ってどこまで研究されてんの?