Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2016-04-01から1ヶ月間の記事一覧

-数学- アイヒラーによる谷山・志村対応の例

近所の林 もう一つ、谷山・志村対応の例を計算してみましょう。まず楕円曲線のmod pでの解の個数を数える関数を定義します。 (%i5) Nsolve(elc,p):=block([c:0,evelc], for x:0 while x

富士通Lifebook AH54/HをWindows10にアップグレードした

近所の畑 最近入手した富士通の古いWindows7搭載パソコンを今日Windows10にアップグレードしました。Lifebook AH54/Hという機種です。 富士通の多くのパソコンは富士通から公式にWindows10アップグレード可能とアナウンスされているのですが、このAH54/Hはそ…

-数学- 数学ガール・フェルマーの最終定理10.6 谷山志村の定理

梨の花 結城浩さんの著書「数学ガール フェルマーの最終定理」では第10章で、ワイルズによる証明の流れが、ミルカさんによって語られます。もちろんそこで大事なのが、谷山志村予想です。ミルカさんは具体例として、 $$ q\,\prod_{n=1}^{\infty }{\left(1-q^…

-数学- q級数を高速に展開するプログラム

桜の花びら 色々と恥ずかしいコードなのですが、とりあえずここに公開してみます。このコードは全て著者が書いたものです。ライセンスはとりあえずGNU GPL v2としました。商用で使いたいからBSDライセンスを希望する、などの方はご相談ください(いないと思…

-数学- q級数の計算をもっと高速化

お花見 q級数の展開計算をしたい、と思ったのです。以前に書いた記事 ではMaximaのプログラムで書いてみたわけですが、1000次まで正確に計算するのに8分もかかるという遅さでした。これでは色々と試すには遅すぎですよね。 そこで今回全部Lisp言語で書き直し…