From 9e87cfed0ad2d535ffca3c95652728f8b05773b5 Mon Sep 17 00:00:00 2001 From: Marc Mezzarobba Date: Mon, 6 Feb 2023 10:17:28 +0100 Subject: [PATCH] add doctest for #20847 --- src/sage/rings/power_series_poly.pyx | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/sage/rings/power_series_poly.pyx b/src/sage/rings/power_series_poly.pyx index a45943a4391..7db55ac6188 100644 --- a/src/sage/rings/power_series_poly.pyx +++ b/src/sage/rings/power_series_poly.pyx @@ -1025,6 +1025,13 @@ cdef class PowerSeries_poly(PowerSeries): Traceback (most recent call last): ... ValueError: Series must have valuation one for reversion. + + sage: Series = PowerSeriesRing(SR, 'x') + sage: ser = Series([0, pi]) + sage: ser + pi*x + sage: ser.reverse() + 1/pi*x + O(x^20) """ if self.valuation() != 1: raise ValueError("Series must have valuation one for reversion.")