Formal power series exponential
ID: formal-power-series-exponential
For a formal power series with zero constant term over a characteristic-zero field, its exponential is . Every coefficient is a finite sum because starts in degree at least . In finite characteristic, truncated computations require the factorial denominators that occur to be invertible.
New to topics? Read the docs here!