Formal power series ring