Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Trac #25219: remove TEST that was already an EXAMPLE
Browse files Browse the repository at this point in the history
  • Loading branch information
BrentBaccala committed Apr 14, 2019
1 parent e86ed66 commit ebd8f45
Showing 1 changed file with 1 addition and 13 deletions.
14 changes: 1 addition & 13 deletions src/sage/rings/laurent_series_ring_element.pyx
Expand Up @@ -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::
Expand Down Expand Up @@ -1385,16 +1383,6 @@ cdef class LaurentSeries(AlgebraElement):
Traceback (most recent call last):
...
ValueError: Series must have valuation one for reversion.
sage: B.<b> = PolynomialRing(ZZ)
sage: A.<t> = 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:
Expand Down

0 comments on commit ebd8f45

Please sign in to comment.