jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 この記事のコードをJupyter notebook形式で見るにはこちら。 共通の判別式\(D\)を持つ簡約虚２次無理数を全て求めることが出来れば、ヒルベルト類多項式を求めるのはあと一歩です。まずヒルベルト類多項式の定義を見てみましょう。 $$P_{D}(x)=\prod_{i=1}^{h_{D}}{\left(x-j\left(a_{i}\right)\right)}$$ \(a_i,\, i=1\cdots h_D\)は判別式Dを持つ全ての簡約虚２次無理数を表します。 見てすぐ分かることは、この多項式は次数が\(h_D\)で根が\(j(a_i)\)です。 また別途証明が必要なことですが、\(… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2021%2F01%2F17%2F190245" title="-数学- 楕円モジュラー関数／j不変量 (4) ヒルベルト類多項式を求める - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20210116/20210116191423.jpg Hatena Blog https://hatena.blog 2021-01-17 19:02:45 rich https://maxima.hatenablog.jp/entry/2021/01/17/190245 1.0 100%