数学 LLL アルゴリズム、それを使った短いベクトル列挙アルゴリズムの勉強中。 クンマー理論 - Wikipediaの訳を修正した。 Kummer theory - Wikipedia の群コホモロジーの長完全系列を明示的に計算して、connection map がクンマー理論の同型と似た形をして…

開発 rust-number-theory: https://www.isibang.ac.in/~sury/algoiisc.pdf を見る限り roots of unity の計算に LLL が必要っぽい。LLL 実装するか…。

数学 単数群を係数としてもつガロアコホモロジーについて、周辺知識が欲しいので質問を投げた。 mathoverflow.net 類数計算 rust-number-theory: 二次体の類数が計算できた。実際に Q(sqrt(41)) と Q(sqrt(229)) で動作確認をした。#Cl(Q(sqrt(41))) = 1 で …

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