From ebd8f4500c2cdc09d701ffab9105fe72e9f4506d Mon Sep 17 00:00:00 2001 From: Brent Baccala Date: Sun, 14 Apr 2019 12:47:35 -0400 Subject: [PATCH] Trac #25219: remove TEST that was already an EXAMPLE --- src/sage/rings/laurent_series_ring_element.pyx | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/src/sage/rings/laurent_series_ring_element.pyx b/src/sage/rings/laurent_series_ring_element.pyx index 2d8f967bf67..6ed117011db 100644 --- a/src/sage/rings/laurent_series_ring_element.pyx +++ b/src/sage/rings/laurent_series_ring_element.pyx @@ -1340,9 +1340,7 @@ cdef class LaurentSeries(AlgebraElement): 1/(2*b)*t - 1/(8*b^2)*t^2 + ((-3*b + 1)/(16*b^3))*t^3 + O(t^4) sage: f(g) t + O(t^4) - sage: g(f) # known bug - f fails to coerce properly, but next test works - t + O(t^4) - sage: g(g.parent()(f)) + sage: g(f) t + O(t^4) We can handle some base rings of positive characteristic:: @@ -1385,16 +1383,6 @@ cdef class LaurentSeries(AlgebraElement): Traceback (most recent call last): ... ValueError: Series must have valuation one for reversion. - - sage: B. = PolynomialRing(ZZ) - sage: A. = LaurentSeriesRing(B) - sage: f = 2*b*t + b*t^2 + 3*b^2*t^3 + O(t^4) - sage: g = f.reverse(); g - 1/(2*b)*t - 1/(8*b^2)*t^2 + ((-3*b + 1)/(16*b^3))*t^3 + O(t^4) - sage: f(g) - t + O(t^4) - sage: g(f) - t + O(t^4) """ val = self.valuation() if val != 1: