目次へ "群論の味わい" 第10章 語としての手順 p.252 定理 10.2.6 ルービックキューブ群の生成元 R, L, U, D, F, B に関する語の問題に対する決定アルゴリズムは、ルービックキューブを解くアルゴリズムと同一となる。 例 10.2.7 p.252 解は、word_ploblem …

目次へ Graph Theory using the GRAPE package "群論の味わい" 第7章 7.2 ケーリーグラフ 例 7.2.1 SAGE と GAP の GRAPE パッケージを使って、対称群 S3 のグラフを構成する方法を例示します。 この例題は私にとって挑戦的に思えた。なぜなら、次は初めての…

目次へ(GAP) Graph Theory using the GRAPE package GAP の GRAPE パッケージを利用する例をよく見かける。入力してみるが動かない。パッケージGRAPE をインストールする必要がある。 grape のインストール /gap4r7/pkg の中に grape のソースは入っている。…