RH反例の探索 — データベースの追加

前の記事では、$\sigma(n)$という単純な除数の合計を計算し、リーマン予想を反証しようとするアプリケーションにpytestを設定しました。この記事では、データベース依存関係を追加するにつれてアプリケーションを拡張する方法を示します。データベースには、計算された合計が保存され、アプリケーションが終了した後に分析できます。 前回の記事と同様に、最終的なコードリポジトリ内の特定のGitコミットへのリンクを示します。プロジェクトがどのように進化するかを示します。