チョット間があいてしまったので復習（思い出し）ながら…

３角乗法に、「非退化」という１対１条件を付け加えることで
演算子△を、４次元の01成分を持つマトリックスで同定
できることが分かりました [>>134 >>138]
これは有限群において、表を作るのと同じような操作です。

次に、このマトリックスを使って S = {1, 2, 3} の場合に
可能な非退化３角乗法系を全て数え上げることを目指しました。

マトリックスの魔方陣的性質より、断面図は >>140 の
１２通りだと数え上げられます。
もう１度、魔方陣的性質を使うと、断面図のつなぎ合わせは
>>141 に限ることが分かります。

Diagonal を (D) = >>141 の (I)
Symmetric を (S) = >>141 の (III)
とし、断面図の 2 と 3 が入れ替わったものを
(D') = >>141 の (II)
(S') = >>141 の (IV)
とします。