\begin{align} \frac{P(x)}{Q(x)} &= \frac{P(x) Q(-x)}{Q(x) Q(-x)} \cr &= \frac{E(x ^ 2) + x O(x ^ 2)}{V(x ^ 2)} \end{align}
であるから、
\begin{align} \left \lbrack x ^ k \right \rbrack \frac{P(x)}{Q(x)} &= \begin{cases} \displaystyle \left \lbrack x ^ {k / 2} \right \rbrack \frac{E(x)}{V(x)} & \quad (k = 0 \pmod 2) \cr \displaystyle \left \lbrack x ^ {(k - 1) / 2} \right \rbrack \frac{O(x)}{V(x)} & \quad (k = 1 \pmod 2) \end{cases} \end{align}
base case
とする。
\begin{align} \left \lbrack x ^ 0 \right \rbrack \frac{P(x)}{Q(x)} &= \frac{\left \lbrack x ^ d \right \rbrack P(x)}{\left \lbrack x ^ d \right \rbrack Q(x)} & & \left( \mathrm{ord}(P(x) ) \geq d \right) \cr \left \lbrack x ^ {-1} \right \rbrack \frac{P(x)}{Q(x)} &= \frac{\left \lbrack x ^ {d - 1} \right \rbrack P(x)}{\left \lbrack x ^ d \right \rbrack Q(x)} & & \left( \mathrm{ord}(P(x) ) \geq d - 1 \right) \end{align}
とする。
\begin{align} \left \lbrack x ^ 0 \right \rbrack \frac{P(x)}{Q(x)} &= \frac{\left \lbrack x ^ d \right \rbrack P(x)}{\left \lbrack x ^ d \right \rbrack Q(x)} & & \left( \mathrm{ord}(P(x) ) \leq d \right) \cr \left \lbrack x ^ {-1} \right \rbrack \frac{P(x)}{Q(x)} &= \frac{\left \lbrack x ^ {d - 1} \right \rbrack P(x)}{\left \lbrack x ^ d \right \rbrack Q(x)} & & \left( \mathrm{ord}(P(x) ) \leq d - 1 \right) \end{align}
とする。
\begin{align}
\frac{1}{F(x)} &= F(-x) \frac{1}{F(x) F(-x)} \cr
&= F(-x) \frac{1}{V(x ^ 2)}
\end{align}
であるから、 は から計算できる。 さらにこれは から求まる。
base case
最終的に、求める区間が に包含されるようになる。
最初に となるようにしておく。
\begin{align} \left \lbrack x ^ 0 \right \rbrack \frac{1}{F(x)} &= \frac{1}{\left \lbrack x ^ 0 \right \rbrack F(x)} \end{align}
最初に となるようにしておく。
\begin{align} \left \lbrack x ^ {-d} \right \rbrack \frac{1}{F(x)} &= \frac{1}{\left \lbrack x ^ d \right \rbrack F(x)} \end{align}
とする。
\begin{align} x ^ k &= Q(x) F(x) + R(x) \end{align}
を満たす 次未満の多項式 を求めたい。ただし は何らかの多項式である。 において両辺を で割って
\begin{align} \frac{x ^ k}{F(x)} &= Q(x) + \frac{R(x)}{F(x)} \end{align}
を得る。 のうち の指数が負の部分が に対応するから、これを計算して を掛ければ が得られる。 よって を求めればよい。
とする。
\begin{align} x ^ k R(x) + Q(x) F(x) &= 1 \end{align}
を満たす 次未満の多項式 を求めたい。ただし は 次未満の多項式である。 において両辺を で割って
\begin{align} \frac{R(x)}{F(x)} + \frac{Q(x)}{x ^ k} &= \frac{1}{x ^ k F(x)} \end{align}
を得る。 のうち の指数が非負の部分が に対応するから、これを計算して を掛ければ が得られる。 よって を求めればよい。