因子団のチェック中

C4.D8 に関して求められた因子団のチェックを行っています。

正しければ、ある等式を満たすはずなのですが、パラメータの関係で実質512通りのチェックを行わなければならず、やはりGAPのプログラムを書いて実行してみました。

まだ、ちゃんとした結果が出ていないのですが、書いてみたGAPのプログラムに間違いが見つかったので、修正中です。もう少し時間がかかりそうです。