Maxima で綴る数学の旅

この記事のコードをJupyter notebook形式で見るにはこちら。 共通の判別式\(D\)を持つ簡約虚２次無理数を全て求めることが出来れば、ヒルベルト類多項式を求めるのはあと一歩です。まずヒルベルト類多項式の定義を見てみましょう。 $$P_{D}(x)=\prod_{i=1}^{h_{D}}{\left(x-j\left(a_{i}\right)\right)}$$ \(a_i,\, i=1\cd…