formal power series