高次元多項式の解問題。コンピュータで計算するときは、元の式に対して全ての解で割る割り算を施した条件式を元の条件に加えて判定すると、重複がなくなるんだけど、この時に発生する余りについて、割る式で分数式を作ってテイラー展開して商の式に加えておくと、収束性が良くなる。