君はSageMathのsmall_rootsの実装をみたことがあるか

これね https://github.com/sagemath/sage/blob/6f4efb0bf3725891b87707d71f6a9f6d354b54d7/src/sage/rings/polynomial/polynomial_modn_dense_ntl.pyx#L405

それはそうって感じなんだけど簡潔過ぎてびっくりしちゃった。なんだかんだSageとかになると概念実装より細かい手の入り方をしてるんでしょ、という思い込みがね……

これが今日の名言です

# we could do this much faster, but this is a cheap step
# compared to LLL