Enter // Maxima は総和記号を使った式を閉形式にまとめることができることを以前の記事で書きました。今回はその応用です。まずパッケージsimplify_sumを読み込んでおきます。 (%i1) load(simplify_sum)$ 以下の式を展開すると係数は２項係数になります。 (…

GODIVA // _ // ]]> // Maxima on AndroidのメンテをやっているとMaximaそのもののバグが目につくことがあります。今Maximaは5.32.1が最新ですが、MoAにインテグレーションしようとしたところ、複数のバグに遭遇しました。これらのバグは明らかにMaximaに新…

類体論へ至る道―初等数論からの代数入門 作者:足立 恒雄 出版社/メーカー: 日本評論社 発売日: 2010/02/01 メディア: 単行本 前回の記事で、「代数的数の和は代数的数」の計算例を示しました。全く同じ方法で「代数的数の積は代数的数」も実際に計算すること…

類体論へ至る道―初等数論からの代数入門 作者:足立 恒雄 出版社/メーカー: 日本評論社 発売日: 2010/02/01 メディア: 単行本 代数的数の和は代数的数になることの証明はこの本を参照してください。著者によれば、この証明は数学者デデキントによるそうです。…

// 類体論へ至る道―初等数論からの代数入門 作者:足立 恒雄 出版社/メーカー: 日本評論社 発売日: 2010/02/01 メディア: 単行本 前回の記事で、「和の逆数はどうなりますか」と書きました。もう少し数学的に言うと、「代数的数xが１変数有理係数の多項式f(x)…

// 類体論へ至る道―初等数論からの代数入門 作者:足立 恒雄 出版社/メーカー: 日本評論社 発売日: 2010/02/01 メディア: 単行本 この本の第７章は「代数体への入門」となっており、代数的数や代数的整数の導入編が展開されます。その基本となる定理が、 定理…