Fix a finite commutative ring R. Let u and v be power series over R, w
ith v(0) = 0. This paper presents an algorithm that computes the first
n terms of the composition u(v), given the first n terms of u and v,
in n(1+0(1)) ring operations. The algorithm is very fast in practice w
hen R has small characteristic. (C) 1998 Academic Press.