Trac #34169: Fix docstring markup in sage/interacts and sage/rings

Part of #34157:
{{{
sage/interacts/library.py:94:1: RST301 Unexpected indentation.
sage/rings/quotient_ring.py:17:1: RST303 Unknown directive type "todo".
sage/rings/localization.py:5:1: RST201 Block quote ends without a blank
line; unexpected unindent.
sage/rings/padics/padic_lattice_element.py:621:1: RST218 Literal block
expected; none found.
sage/rings/padics/padic_lattice_element.py:664:1: RST218 Literal block
expected; none found.
sage/rings/padics/padic_lattice_element.py:1282:1: RST218 Literal block
expected; none found.
sage/rings/number_field/number_field_ideal.py:3016:1: RST301 Unexpected
indentation.
sage/rings/number_field/number_field_ideal.py:3017:1: RST201 Block quote
ends without a blank line; unexpected unindent.
sage/rings/number_field/number_field_ideal.py:3261:1: RST201 Block quote
ends without a blank line; unexpected unindent.
sage/rings/number_field/number_field_ideal.py:3326:1: RST201 Block quote
ends without a blank line; unexpected unindent.
}}}

URL: https://trac.sagemath.org/34169
Reported by: klee
Ticket author(s): Frédéric Chapoton
Reviewer(s): Matthias Koeppe

Author: Release Manager

src/sage/interacts/library.py

@@ -91,8 +91,8 @@ def library_interact(
     INPUT:
 
     - ``**widgets`` -- keyword arguments that are passed to the
-      ``interact`` function to create the widgets. Each value must be a callable that
-        returns a widget.
+      ``interact`` function to create the widgets. Each value must
+      be a callable that returns a widget.
 
     EXAMPLES::
 

src/sage/rings/localization.py

@@ -1,11 +1,11 @@
-# -*- coding: utf-8 -*-
 r"""
 Localization
 
-Localization is an important ring construction tool. Whenever you have to extend a given
-integral domain such that it contains the inverses of a finite set of elements but should
-allow non injective homomorphic images this construction will be needed. See the example
-on Ariki-Koike algebras below for such an application.
+Localization is an important ring construction tool. Whenever you have
+to extend a given integral domain such that it contains the inverses
+of a finite set of elements but should allow non injective homomorphic
+images this construction will be needed. See the example on
+Ariki-Koike algebras below for such an application.
 
 EXAMPLES::
 
@@ -32,8 +32,8 @@
     sage: u = [u0, u1, u2]
     sage: S = Set(u)
     sage: I = S.cartesian_product(S)
-    sage: add_units = u + [q, q+1] + [ui -uj for ui, uj in I if ui != uj]\
-                        + [q*ui -uj for ui, uj in I if ui != uj]
+    sage: add_units = u + [q, q + 1] + [ui - uj for ui, uj in I if ui != uj]
+    sage: add_units += [q*ui - uj for ui, uj in I if ui != uj]
     sage: L = R.localization(tuple(add_units)); L
     Multivariate Polynomial Ring in u0, u1, u2, q over Integer Ring localized at
     (q, q + 1, u2, u1, u1 - u2, u0, u0 - u2, u0 - u1, u2*q - u1, u2*q - u0,
@@ -42,12 +42,12 @@
 Define the representation matrices (of one of the three dimensional irreducible representations)::
 
     sage: m1 = matrix(L, [[u1, 0, 0],[0, u0, 0],[0, 0, u0]])
-    sage: m2 = matrix(L, [[(u0*q - u0)/(u0 - u1), (u0*q - u1)/(u0 - u1), 0],\
-                          [(-u1*q + u0)/(u0 - u1), (-u1*q + u1)/(u0 - u1), 0],\
-                          [0, 0, -1]])
-    sage: m3 = matrix(L, [[-1, 0, 0],\
-                          [0, u0*(1 - q)/(u1*q - u0), q*(u1 - u0)/(u1*q - u0)],\
-                          [0, (u1*q^2 - u0)/(u1*q - u0), (u1*q^ 2 - u1*q)/(u1*q - u0)]])
+    sage: m2 = matrix(L, [[(u0*q - u0)/(u0 - u1), (u0*q - u1)/(u0 - u1), 0],
+    ....:                 [(-u1*q + u0)/(u0 - u1), (-u1*q + u1)/(u0 - u1), 0],
+    ....:                 [0, 0, -1]])
+    sage: m3 = matrix(L, [[-1, 0, 0],
+    ....:                 [0, u0*(1 - q)/(u1*q - u0), q*(u1 - u0)/(u1*q - u0)],
+    ....:                 [0, (u1*q^2 - u0)/(u1*q - u0), (u1*q^ 2 - u1*q)/(u1*q - u0)]])
     sage: m1.base_ring() == L
     True
 
@@ -100,7 +100,6 @@
     [ 0  4  5]
     [ 0  7  6]
 
-
 Obtain specializations in characteristic 0::
 
     sage: fQ = L.hom((3,5,7,11), codomain=QQ); fQ

src/sage/rings/number_field/number_field_ideal.py

@@ -3009,13 +3009,15 @@ def _p_quotient(self, p):
         computing the quotient of the ring of integers by a prime ideal.
 
         INPUT:
-            p -- a prime number contained in self.
+
+        - ``p`` -- a prime number contained in ``self``
 
         OUTPUT:
-            V -- a vector space of characteristic p
-            quo -- a partially defined quotient homomorphism from the
-                   ambient number field to V
-            lift -- a section of quo.
+
+        - ``V`` -- a vector space of characteristic ``p``
+        - ``quo`` -- a partially defined quotient homomorphism from the
+          ambient number field to ``V``
+        - ``lift`` -- a section of ``quo``.
 
         EXAMPLES::
 
@@ -3250,7 +3252,7 @@ def __call__(self, x):
         return self.__Q( list(w) )
 
     def __repr__(self):
-        """
+        r"""
         Return a string representation of this QuotientMap.
 
         EXAMPLES::
@@ -3315,7 +3317,7 @@ def __call__(self, x):
         return self.__OK(sum(z[i] * self.__Kgen ** i for i in range(len(z))))
 
     def __repr__(self):
-        """
+        r"""
         Return a string representation of this QuotientMap.
 
         EXAMPLES::

src/sage/rings/padics/padic_lattice_element.py

@@ -617,10 +617,10 @@ def _div_(self, other):
         r"""
         Return the quotient of this element and ``other``.
 
-        NOTE::
+        .. NOTE::
 
-        The result of division always lives in the fraction field,
-        even if the element to be inverted is a unit.
+            The result of division always lives in the fraction field,
+            even if the element to be inverted is a unit.
 
         EXAMPLES::
 
@@ -660,10 +660,10 @@ def __invert__(self):
         r"""
         Return the multiplicative inverse of this element.
 
-        NOTE::
+        .. NOTE::
 
-        The result of division always lives in the fraction field,
-        even if the element to be inverted is a unit.
+            The result of division always lives in the fraction field,
+            even if the element to be inverted is a unit.
 
         EXAMPLES::
 
@@ -1278,10 +1278,10 @@ def _is_exact_zero(self):
         r"""
         Return ``True`` if this element is exactly zero.
 
-        NOTE::
+        .. NOTE::
 
-        Since exact zeros are not supported in the precision lattice
-        model, this function always returns ``False``.
+            Since exact zeros are not supported in the precision lattice
+            model, this function always returns ``False``.
 
         EXAMPLES::
 

src/sage/rings/quotient_ring.py

@@ -15,7 +15,7 @@
     sage: I = R.ideal([4 + 3*x + x^2, 1 + x^2])
     sage: S = R.quotient_ring(I)
 
-.. todo::
+.. TODO::
 
     The following skipped tests should be removed once :trac:`13999` is fixed::