Ring of formal power series