Hensel Lifting を実装した。 整数上の多項式の因数分解の Berlekamp–Zassenhaus algorithm まであと少しか。