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

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

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

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

一般マグマの多項式の完備化 環の演算では書き換え規則の合成を行っているので、今までの議論で説明できるのですが、その説明では長くなるのでいったん 群の完備化の説明をしたいと思います。群の完備化ではクヌース・ベンディックス完備化アルゴリズム - Wi…