suppress spurious warning in QuotientFunctor

sagemath · Jan 15, 2024 · 9ffd332 · 9ffd332
1 parent 05c6ac8
commit 9ffd332
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 16 deletions.
diff --git a/src/sage/categories/pushout.py b/src/sage/categories/pushout.py
@@ -2990,7 +2990,7 @@ def _apply_functor(self, R):
                 R = I.ring()
             else:
                 R = pushout(R, I.ring().base_ring())
-                I = [R.one() * t for t in I.gens()] * R
+                I = R.ideal([R.one () * t for t in I.gens()], warn=False)
         try:
             Q = R.quo(I, names=self.names, **self.kwds)
         except IndexError:  # That may happen!

diff --git a/src/sage/rings/finite_rings/residue_field_givaro.pyx b/src/sage/rings/finite_rings/residue_field_givaro.pyx
@@ -44,7 +44,6 @@ class ResidueFiniteField_givaro(ResidueField_generic, FiniteField_givaro):
         sage: c = OK(a)
         sage: b = k(c)
         sage: b*c^2
-        doctest:warning ...
         7
         sage: b*c
         13*abar + 5

diff --git a/src/sage/rings/finite_rings/residue_field_ntl_gf2e.pyx b/src/sage/rings/finite_rings/residue_field_ntl_gf2e.pyx
@@ -45,7 +45,6 @@ class ResidueFiniteField_ntl_gf2e(ResidueField_generic, FiniteField_ntl_gf2e):
         sage: c = OK(a)
         sage: b = k(c)
         sage: b*c^2
-        doctest:warning ...
         7
         sage: b*c
         13*abar + 5

diff --git a/src/sage/rings/finite_rings/residue_field_pari_ffelt.pyx b/src/sage/rings/finite_rings/residue_field_pari_ffelt.pyx
@@ -46,7 +46,6 @@ class ResidueFiniteField_pari_ffelt(ResidueField_generic, FiniteField_pari_ffelt
         sage: b + c
         2*abar
         sage: b*c
-        doctest:warning ...
         664346875*abar + 535606347
         sage: k.base_ring()
         Finite Field of size 923478923

diff --git a/src/sage/rings/ideal.py b/src/sage/rings/ideal.py
@@ -248,7 +248,7 @@ class Ideal_generic(MonoidElement):
 
     See :func:`Ideal()`.
     """
-    def __init__(self, ring, gens, coerce=True):
+    def __init__(self, ring, gens, coerce=True, **kwds):
         """
         Initialize this ideal.
 
@@ -1461,19 +1461,13 @@ class Ideal_pid(Ideal_principal):
     An ideal of a principal ideal domain.
 
     See :func:`Ideal()`.
-    """
-    def __init__(self, ring, gen):
-        """
-        Initialize ``self``.
 
-        EXAMPLES::
-
-            sage: I = 8*ZZ
-            sage: I
-            Principal ideal (8) of Integer Ring
-        """
-        Ideal_principal.__init__(self, ring, gen)
+    EXAMPLES::
 
+        sage: I = 8*ZZ
+        sage: I
+        Principal ideal (8) of Integer Ring
+    """
     def __add__(self, other):
         """
         Add the two ideals.