今回のシリーズは楕円モジュラー関数／j不変量\(j(t)\)の虚2次無理数での値を厳密に計算できることを知り、Maximaで実装してみた、ということでした。 各回の実行例は、以下のurlからjupyter notebookの形式で見ることもできますし、こちらのgithubレポジト…

この記事のコードをJupyter notebook形式で見るにはこちら。 このシリーズの目標は楕円モジュラー関数/j不変量の虚２次無理数での値を正確に求めることでした。そのために前回の記事： maxima.hatenablog.jp ではヒルベルト類多項式を求めました。\(j(t)\)は…

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

この記事のコードをJupyter notebook形式で見るにはこちら。 数年前に虚2次無理数、判別式、モジュラー変換、基本領域などの記事を書きました。 この続きのような内容になります。またInFD(), FindInFD()は当時作った関数達です。 当時分からなかったのは、…

この記事のコードをJupyter notebook形式で見るにはこちら。 楕円モジュラー関数のAPIをまとめてgithubに公開しました。 以下(%i1),(%i2)はmaxima-asdfという便利な道具を使ってgithubからダイレクトにダウンロード、ロードして実行する実行例になっています…

2017年ごろ、このブログで楕円関数や楕円曲線、ワイエルストラスのペー関数、アイゼンシュタイン級数などの記事を書きました。その際、以下のような文章も書いたのですが、結局投稿せずにお蔵入りとしました。 楕円曲線やモジュラリティ定理の話を勉強してい…