sage.rings.polynomial: Update # needs

Author: Matthias Koeppe

src/sage/rings/polynomial/laurent_polynomial_ideal.py

@@ -276,16 +276,17 @@ def apply_coeff_map(self, f, new_base_ring=None, forward_hint=True):
 
         EXAMPLES::
 
-            sage: K.<z> = CyclotomicField(3)                                            # needs sage.rings.number_field
-            sage: P.<x,y> = LaurentPolynomialRing(K, 2)                                 # needs sage.rings.number_field
-            sage: I = P.ideal([x + z, y - z])                                           # needs sage.rings.number_field
-            sage: h = K.hom([z^2])                                                      # needs sage.rings.number_field
-            sage: I.apply_coeff_map(h)                                                  # needs sage.rings.number_field
+            sage: # needs sage.rings.number_field
+            sage: K.<z> = CyclotomicField(3)
+            sage: P.<x,y> = LaurentPolynomialRing(K, 2)
+            sage: I = P.ideal([x + z, y - z])
+            sage: h = K.hom([z^2])
+            sage: I.apply_coeff_map(h)
             Ideal (x - z - 1, y + z + 1) of Multivariate Laurent Polynomial Ring
              in x, y over Cyclotomic Field of order 3 and degree 2
-            sage: K1.<z1> = CyclotomicField(12)                                         # needs sage.rings.number_field
-            sage: h1 = K.hom([z1^4])                                                    # needs sage.rings.number_field
-            sage: I.apply_coeff_map(h1, new_base_ring=K1)                               # needs sage.rings.number_field
+            sage: K1.<z1> = CyclotomicField(12)
+            sage: h1 = K.hom([z1^4])
+            sage: I.apply_coeff_map(h1, new_base_ring=K1)
             Ideal (x + z1^2 - 1, y - z1^2 + 1) of Multivariate Laurent Polynomial Ring
              in x, y over Cyclotomic Field of order 12 and degree 4
         """
@@ -310,11 +311,12 @@ def toric_coordinate_change(self, M, forward_hint=True):
 
         EXAMPLES::
 
-            sage: K.<z> = CyclotomicField(3)                                            # needs sage.rings.number_field
-            sage: P.<x,y> = LaurentPolynomialRing(K, 2)                                 # needs sage.rings.number_field
-            sage: I = P.ideal([x + 1, y - 1])                                           # needs sage.rings.number_field
-            sage: M = Matrix([[2,1], [1,-3]])                                           # needs sage.rings.number_field
-            sage: I.toric_coordinate_change(M)                                          # needs sage.rings.number_field
+            sage: # needs sage.rings.number_field
+            sage: K.<z> = CyclotomicField(3)
+            sage: P.<x,y> = LaurentPolynomialRing(K, 2)
+            sage: I = P.ideal([x + 1, y - 1])
+            sage: M = Matrix([[2,1], [1,-3]])
+            sage: I.toric_coordinate_change(M)
             Ideal (x^2*y + 1, -1 + x*y^-3) of Multivariate Laurent Polynomial Ring
              in x, y over Cyclotomic Field of order 3 and degree 2
         """

src/sage/rings/polynomial/laurent_polynomial_mpair.pyx

@@ -234,12 +234,13 @@ cdef class LaurentPolynomial_mpair(LaurentPolynomial):
 
         check compatibility with  :trac:`26105`::
 
-            sage: F.<t> = GF(4)                                                         # needs sage.rings.finite_rings
-            sage: LF.<a,b> = LaurentPolynomialRing(F)                                   # needs sage.rings.finite_rings
-            sage: rho = LF.hom([b,a], base_map=F.frobenius_endomorphism())              # needs sage.rings.finite_rings
-            sage: s = t*~a + b +~t*(b**-3)*a**2; rs = rho(s); rs                        # needs sage.rings.finite_rings
+            sage: # needs sage.rings.finite_rings
+            sage: F.<t> = GF(4)
+            sage: LF.<a,b> = LaurentPolynomialRing(F)
+            sage: rho = LF.hom([b,a], base_map=F.frobenius_endomorphism())
+            sage: s = t*~a + b +~t*(b**-3)*a**2; rs = rho(s); rs
             a + (t + 1)*b^-1 + t*a^-3*b^2
-            sage: s == rho(rs)                                                          # needs sage.rings.finite_rings
+            sage: s == rho(rs)
             True
         """
         p = self._poly

src/sage/rings/polynomial/laurent_polynomial_ring_base.py

@@ -396,9 +396,9 @@ def _is_valid_homomorphism_(self, codomain, im_gens, base_map=None):
             sage: L._is_valid_homomorphism_(K, (K(1/2), K(3/2)))                                    # needs sage.rings.number_field
             True
             sage: Q5 = Qp(5); i5 = Q5(-1).sqrt()                                                    # needs sage.rings.padics
-            sage: L._is_valid_homomorphism_(Q5, (Q5(1/2), Q5(3/2))) # no coercion                   # needs sage.rings.padics
+            sage: L._is_valid_homomorphism_(Q5, (Q5(1/2), Q5(3/2))) # no coercion                   # needs sage.rings.number_field sage.rings.padics
             False
-            sage: L._is_valid_homomorphism_(Q5, (Q5(1/2), Q5(3/2)), base_map=K.hom([i5]))           # needs sage.rings.padics
+            sage: L._is_valid_homomorphism_(Q5, (Q5(1/2), Q5(3/2)), base_map=K.hom([i5]))           # needs sage.rings.number_field sage.rings.padics
             True
         """
         if base_map is None and not codomain.has_coerce_map_from(self.base_ring()):