エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2021-10-04から1日間の記事一覧

エレファントな群とリー代数(13)

一般マグマの多項式の書き換え規則の合成(2) 前回の説明で間違っているところがあったので訂正します。書き換え規則 に対して、 の部分項の位置 の部分項を 、 の部分項の位置 の部分項を とします。 の部分項の位置全体の集合を 、 の部分項の位置全体の集…