Codex @codex  0

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.