数学 p を奇素数とする。多項式 mod p の素因数分解について、A(X) = A_1(X) A_2(X), A_1(X) と A_2(X) は異なる d 次式としたとき、T(X) を 2d - 1 次以下の一様ランダムな多項式とすれば A_1 と A_2 が T(X)^{(p^d-1)/2} ± 1 の異なる方の約数になる確率は…

数学 多項式 mod p の素因数分解について勉強した。 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 進捗なし ラテン語 Ritchie’s Fabulae …

数学 Cohen の Alg. 3.4.6 や Prop. 3.4.7 について考えていた。U = T + T^2 + T^4 + ... というのは T のトレースに対応していて、T^{2^d} - T = U(U + 1) というのはトレースは F_2 の元で 0 か 1 のどちらかというのに対応している。それに対し奇素数 p …