但是上述算法仍然可以改进。实际上,我们不需要直接对R进行不可约分解,先进行无平方因子分解也是可以的:

我们有

其中pp是指多项式的“本原部分”,也就是多项式乘以一个适当的数以后,得到的以互素整元素为系数的新多项式。Rki是所谓“子结式”。两个多项式的子结式是以它们的结式开始的,一系列以它们的系数为变量的,次数递减的多元多项式,其满足的性质是:两个多项式有k个公共零点,当且仅当其前k个子结式为零。
这个结果还是不可避免地出现了一些无法求出的高次方程的根,但我们已经可以基本上仅仅用它们表示结果而不是对它们进行实际计算。即使是对本原部分(pp)的计算,也是可以避免的,参考T. Mulders. A note on subresultants and a correction to the LazardRioboo–Trager formula in rational function integration. Journal of Symbolic Computation, 24(1):45–50, 1997.