#31345: removed the additions Deprecation Warnings introduced in the previous commit, and added two SEEALSO blocks

Author: JohnCremona

src/sage/rings/number_field/number_field.py

@@ -107,7 +107,9 @@
 
 
 from sage.misc.cachefunc import cached_method
-from sage.misc.superseded import deprecation
+from sage.misc.superseded import (deprecation,
+                                  deprecated_function_alias)
+
 
 import sage.libs.ntl.all as ntl
 import sage.interfaces.gap
@@ -125,7 +127,6 @@
 
 from sage.misc.fast_methods import WithEqualityById
 from sage.misc.functional import is_odd, lift
-from sage.misc.superseded import deprecated_function_alias
 
 from sage.misc.misc_c import prod
 from sage.rings.all import Infinity
@@ -4869,14 +4870,13 @@ def selmer_generators(self, S, m, proof=True, orders=False):
         outside of `S`, but may contain it properly when not all
         primes dividing `m` are in `S`.
 
-        .. NOTE::
+        .. SEEALSO::
 
-            When `m=p` is prime, see also the method
-            :meth:`NumberField_generic.selmer_space` which gives
-            additional output: as well as generators, it gives an
-            abstract vector space over `GF(p)` isomorphic to `K(S,p)`
-            and maps implementing the isomorphism between this space
-            and `K(S,p)` as a subgroup of `K^*/(K^*)^p`.
+            :meth:`NumberField_generic.selmer_space`, which gives
+        additional output when `m=p` is prime: as well as generators,
+        it gives an abstract vector space over `GF(p)` isomorphic to
+        `K(S,p)` and maps implementing the isomorphism between this
+        space and `K(S,p)` as a subgroup of `K^*/(K^*)^p`.
 
         EXAMPLES::
 

src/sage/rings/rational_field.py

@@ -1295,6 +1295,14 @@ def selmer_generators(self, S, m, proof=True, orders=False):
         all primes of `\QQ` outside of `S`, but may contain it
         properly when not all primes dividing `m` are in `S`.
 
+        .. SEEALSO::
+
+            :meth:`RationalField.selmer_space`, which gives additional
+        output when `m=p` is prime: as well as generators, it gives an
+        abstract vector space over `GF(p)` isomorphic to `\QQ(S,p)`
+        and maps implementing the isomorphism between this space and
+        `\QQ(S,p)` as a subgroup of `\QQ^*/(\QQ^*)^p`.
+
         EXAMPLES::
 
             sage: QQ.selmer_generators((), 2)
@@ -1314,6 +1322,7 @@ def selmer_generators(self, S, m, proof=True, orders=False):
             ([-1, 2, 3, 5, 7], [2, 2, 2, 2, 2])
             sage: QQ.selmer_generators((2,3,5,7,), 3, orders=True)
             ([2, 3, 5, 7], [3, 3, 3, 3])
+
         """
         gens = list(S)
         ords = [ZZ(m)] * len(S)