部分群の属性をテーブルで表示する

台集合の属性リストをマトリックス表示できるようになった.もう少し手を入れるところはあるが,先に部分群表を出すところを片付けてしまおう.部分群表というのは現在部分群のダンプとしているところをマトリックスに整形表示するというものだ.

S4<3,7>を選択してフロック分解で配列の範囲外の例外が発生した.例外はフロック現数のカウントで起きている.フロック部分群検定ではD集合という配列を管理している.対象となる部分群の位数は12でフロック配列はこのサイズで作られているが,元表[9].フロック番号には16という値が入っているため,障害が発生する.

S4<3,7>は部分群検定で生成・登録された部分群だが,元表などを初期化していないのではないだろうか?フロック番号は最初のフロック分解で設定されているはずだが…⇒部分群を新規生成する場合には,元表を渡さないようにした.ただし,これでも不一致は発生する.追加登録で事後にノードを追加しているためだ.部分群の追加というところで元表を再計算することにする.

S4の部分群表を表示した後,台集合出力しようとして置換積に変換で停止した.引数のarrayが空で呼び出されている.元属性表の作成を実行しているところで,置換構成は空ではないため元g.置換を置換積に変換しようとしているのだが…単位元に置換が設定されていないのではないか?⇒かなりよい動きになってきた.

部分群表で同型の部分群の個数を表示するようにしたい.部分群の追加のところでこの値は算出されているので,どこかに保存しておけばよい.また,台集合のリストは{}で囲む必要はない.DataGridViewでは,末尾の一行は行追加のために予約されているようで,カラムを指定してソートしても,最後の行が残ってしまう.テーブルのサイズを1大きくして余分な行を表示するようにしたらまともな動作になった.

群表では番号は1発進になっている.元表でも同様にした方がよいのではないか?ただの表示なので特に問題ないはずだ.もともと元.番号に0が入っているのが問題なのではないか?ただし,単位元はフロック〇と呼んでいるようにすでに番号〇として認識されているかもしれない.単位元の現番号は〇でよいのではないだろうか?冪零などという話も出てくるので… とりあえず,現状のままとしておこう.

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

CAPTCHA