式计算反导数。部分分式分解的结果会是许多分母为「不可约多项式」。不过什么样的多项式不可约，则是依使用纯量所在的域来决定。例如若只允许实数的纯量出现，不可约多项式则为一次或二次的多项式；若允许复数的纯量出现，则所有不可约多项式则都为一次多项式；若只允许整数或其他有限体的纯量，有些二次以上的多项式也可能是不可约多项式。