分解しない拡大の例をチェック中

Q8はとりあえずうまくいったようなので、もっと大きい例、C4.D8 とかをチェックしてみていたのですが、うまくいきません。

乗積表を手計算で出していたので、どこかでミスがあったのかも。

GAPのプログラム機能をもっと十分に活用しないといけないかもしれません。

途中で、C4.D8 のもっと簡潔な関係式を見つけました。後で直しておきます。