数学
Fermat Proof 2 の命題 10 の証明から群コホモロジーの雰囲気がする。するものの群コホモロジーはよくわからない。
開発
rust-number-theory: 類数計算を実装している。類数と単数規準の積がゼータ関数の留数で表せるという話があるので、それを使ってうまくバウンドする処理を実装している。
Fermat Proof 2 の命題 10 の証明から群コホモロジーの雰囲気がする。するものの群コホモロジーはよくわからない。
rust-number-theory: 類数計算を実装している。類数と単数規準の積がゼータ関数の留数で表せるという話があるので、それを使ってうまくバウンドする処理を実装している。