Formal power series division
= Formal power series division
If the constant coefficient of $A$ is invertible, then for every <formal power series> $B$ there is a unique quotient $Q$ satisfying $AQ=B$. Comparing coefficients determines $Q$ recursively; multiplying $B$ by the <formal power series reciprocal> of $A$ computes the same quotient.