LLLアルゴリズムはなんとなく分かったが、これをどう使えば多項式の因数分解ができるのか、よくわかっていない。 ちゃんと勉強しないと駄目かなぁ。