数学的アルゴリズム詰め合わせです. 整数計算に関する様々なアルゴリズムが入っています.

public static long[] crt(long[] r, long[] m)

同じ長さの配列 r, m を渡します. この配列の長さをn としたとき, $$ x \equiv r[i] \mod m[i] $$ を解きます.

答えは存在するならば $ y, z (0 \leq y < z = lcm(m))$ を用いて $ x \equiv y \mod z $の形で書けることが知られています.

この関数の返り値は, yとzをこの順に格納した長さ2の配列です.

答えがない場合は [0,0] を返します. n=0 のときは [0,1] を返します.

public static long floor_sum(long n, long m, long a, long b)

$ \sigma_{i=0}^{n-1} floor(\frac{a*i+b}{m}) $を返します.