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

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

2020-05-20から1日間の記事一覧

群論の計算(26)

円分多項式 の 乗根 の解を の 乗根と呼びます。 とおくと の 乗根は 個存在し、それらは となります。 が成り立ちます。( は異なる複素数ですべて 乗すると になることからこのことがわかります。) の 乗根の中で 乗して初めて になる( である では 乗して…