エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-01-07から1日間の記事一覧

エレファントな整数論(10)

「群論の計算(20) - エレファント・コンピューティング調査報告」でも書いているのですが、整数の素数の説明を書くために、素イデアル、素元、既約元などの説明をまた書いておきます。 整域 を単位元を持つ自明ではない可換環とします。任意の に対して なら…