formal power series ring