reviewer's suggestions about docstring formatting and one list comprehension

Author: mantepse

src/sage/data_structures/stream.py

@@ -1402,6 +1402,7 @@ class CoefficientRing(UniqueRepresentation, FractionField_generic):
     """
     def __init__(self, base_ring):
         """
+        Initialize ``self``.
 
         EXAMPLES::
 
@@ -1919,8 +1920,8 @@ def _subs_in_caches(self, var, val):
 
         INPUT:
 
-        - ``var``, a variable in ``self._P``
-        - ``val``, the value that should replace the variable
+        - ``var`` -- a variable in ``self._P``
+        - ``val`` -- the value that should replace the variable
 
         EXAMPLES::
 

src/sage/rings/lazy_series_ring.py

@@ -667,14 +667,12 @@ def _terms_of_degree(self, n, R):
         Return the list of terms occurring in a coefficient of degree
         ``n`` such that coefficients are in the ring ``R``.
 
-        If ``self`` is a univariate Laurent, power, or Dirichlet
-        series, this is the list containing the one of the base ring.
-
-        If ``self`` is a multivariate power series, this is the list
-        of monomials of total degree ``n``.
-
-        If ``self`` is a lazy symmetric function, this is the list
-        of basis elements of total degree ``n``.
+        For example, if ``self`` is a univariate Laurent, power, or
+        Dirichlet series, this is the list containing the one of the
+        base ring.  If ``self`` is a multivariate power series, this
+        is the list of monomials of total degree ``n``.  If ``self``
+        is a lazy symmetric function, this is the list of basis
+        elements of total degree ``n``.
 
         EXAMPLES::
 
@@ -3292,12 +3290,11 @@ def _terms_of_degree(self, n, R):
         B = B.change_ring(R)
         if self._arity == 1:
             return list(B.homogeneous_component_basis(n))
-        l = []
-        for c in IntegerVectors(n, self._arity):
-            for m in cartesian_product_iterator([F.homogeneous_component_basis(p)
-                                                 for F, p in zip(B.tensor_factors(), c)]):
-                l.append(tensor(m))
-        return l
+
+        return [tensor(m)
+                for c in IntegerVectors(n, self._arity)
+                for m in cartesian_product_iterator([F.homogeneous_component_basis(p)
+                                                     for F, p in zip(B.tensor_factors(), c)])]
 
     def _element_constructor_(self, x=None, valuation=None, degree=None, constant=None, check=True):
         r"""

src/sage/rings/polynomial/multi_polynomial_sequence.py

@@ -273,7 +273,7 @@ def PolynomialSequence(arg1, arg2=None, immutable=False, cr=False, cr_str=None):
 
     TESTS:
 
-    A PolynomialSequence can exist with elements in an infinite field of
+    A ``PolynomialSequence`` can exist with elements in an infinite field of
     characteristic 2 (see :issue:`19452`)::
 
         sage: from sage.rings.polynomial.multi_polynomial_sequence import PolynomialSequence
@@ -283,7 +283,7 @@ def PolynomialSequence(arg1, arg2=None, immutable=False, cr=False, cr_str=None):
         sage: PolynomialSequence([0], R)
         [0]
 
-    A PolynomialSequence can be created from an iterator (see :issue:`25989`)::
+    A ``PolynomialSequence`` can be created from an iterator (see :issue:`25989`)::
 
         sage: R.<x,y,z> = QQ[]
         sage: PolynomialSequence(iter(R.gens()))
@@ -292,6 +292,20 @@ def PolynomialSequence(arg1, arg2=None, immutable=False, cr=False, cr_str=None):
         [x, y, z]
         sage: PolynomialSequence(iter([(x,y), (z,)]), R)
         [x, y, z]
+
+    A ``PolynomialSequence`` can be created from elements of an
+    ``InfinitePolynomialRing``::
+
+        sage: R.<a> = InfinitePolynomialRing(QQ)
+        sage: s = PolynomialSequence([a[i]-a[i+1] for i in range(3)])
+        sage: s
+        [-a_1 + a_0, -a_2 + a_1, -a_3 + a_2]
+        sage: s.coefficients_monomials()
+        (
+        [ 0  0 -1  1]
+        [ 0 -1  1  0]
+        [-1  1  0  0], (a_3, a_2, a_1, a_0)
+        )
     """
     from sage.structure.element import Matrix
     try: