tsujimotterのノートブック

日曜数学者 tsujimotter の「趣味で数学」実践ノート

類体論 の検索結果:

6xx + xy + yy の形で表せる素数

…すが,これがまさに「類体論」と呼ばれる数学に深く関わってくるのだそうです。面白そうな匂いがぷんぷんしますね!! 数式処理システムで確認する とりあえず,上の定理が本当に成立しているかどうか,確認してみたいと思いました。そのためには, の式の展開が必要ですが,これがなかなか厄介です。展開するだけで大変なのに,最初に となるのが のときなので,少なくとも 回は積をとる必要があります。 というわけで,式の展開を自動化したいのですが,自分でプログラムを作るのも面倒です。そこで,数式処…