MuPAD、for i from 1 to n のループで多項式が既約か否かを因数分解するコマンドfactorで探ると何故か最初に可約だった式の分解を返して止まってしまう。コマンドirreducibleを使えば上手くいったのかも。しかし、GF(7^2)で原始元のベキ数表示で{0,2,7,9,12,…