中にあるブロック定義から使う p進関連のツールです(位取り記数法のn進数とは異なります。) pは素数、a,bは整数でお願いします なおべき乗計算は多少誤差があります ざっくりとした意味 詳しくはネットや本で調べた方がいいのですが p進ノルムやp進距離は普段使う ユークリッドノルム(ユークリッド距離)とは異なるもので 有理数体\mathbb{Q}を完備化することで導入されます。 p進では pで何回割り切れるか に注目し距離などを測ります つまり普段の距離(直感)とは異なる奇妙な結果をもたらします p進付値は何回pで割り切れるかを表すもの p進ノルムはpで割れれば割れるほど0に近いというもの p進距離はx-yがどれだけpで割り切れるかを見ている といった感じです 三角不等式がさらに強力になるなどの性質があるので気になった方は調べてみてください
