マグマの計算(4) 「エレファントな群とリー代数(2) - エレファント・ビジュアライザー調査記録」でやった「モノイドの左逆元・右逆元」の問題をやります。これも基本的には Python に書き換えただけになっています。前回のプログラムでは表示される式が多すぎるので、式を選択することができるようにします。クラス TransitiveTransformer に以下のメソッドを追加します。 def transitive_select(self, deg, sel_list): for n in range(1, deg + 1): transitive_transformer.compose_tra…