Reverts

sagemath · Jun 26, 2024 · 0bdde67 · 0bdde67
1 parent acee362
commit 0bdde67
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 12 deletions.
diff --git a/src/sage/schemes/generic/divisor.py b/src/sage/schemes/generic/divisor.py
@@ -107,12 +107,12 @@ def is_Divisor(x):
 
     EXAMPLES::
 
-        sage: from sage.schemes.generic.divisor import Divisor_generic
+        sage: from sage.schemes.generic.divisor import is_Divisor
         sage: x,y = AffineSpace(2, GF(5), names='xy').gens()
         sage: C = Curve(y^2 - x^9 - x)
-        sage: isinstance(C.divisor([]), Divisor_generic)
+        sage: is_Divisor(C.divisor([]))
         True
-        sage: isinstance("Ceci n'est pas un diviseur", Divisor_generic)
+        sage: is_Divisor("Ceci n'est pas un diviseur")
         False
     """
     return isinstance(x, Divisor_generic)

diff --git a/src/sage/schemes/toric/chow_group.py b/src/sage/schemes/toric/chow_group.py
@@ -1243,11 +1243,11 @@ def is_ChowCycle(x) -> bool:
         sage: P2 = toric_varieties.P2()
         sage: A = P2.Chow_group()
         sage: from sage.schemes.toric.chow_group import *
-        sage: isinstance(A, ChowCycle)
+        sage: is_ChowCycle(A)
         False
-        sage: isinstance(A.an_element(), ChowCycle)
+        sage: is_ChowCycle(A.an_element())
         True
-        sage: isinstance('Victoria', ChowCycle)
+        sage: is_ChowCycle('Victoria')
         False
     """
     return isinstance(x, ChowCycle)
diff --git a/src/sage/schemes/toric/divisor.py b/src/sage/schemes/toric/divisor.py
@@ -205,13 +205,13 @@ def is_ToricDivisor(x):
 
     EXAMPLES::
 
-        sage: from sage.schemes.toric.divisor import ToricDivisor_generic
-        sage: isinstance(1, ToricDivisor_generic)
+        sage: from sage.schemes.toric.divisor import is_ToricDivisor
+        sage: is_ToricDivisor(1)
         False
         sage: P2 = toric_varieties.P2()
         sage: D = P2.divisor(0); D
         V(x)
-        sage: isinstance(D, ToricDivisor_generic)
+        sage: is_ToricDivisor(D)
         True
     """
     return isinstance(x, ToricDivisor_generic)

diff --git a/src/sage/schemes/toric/variety.py b/src/sage/schemes/toric/variety.py
@@ -3303,12 +3303,12 @@ def is_CohomologyClass(x):
 
         sage: P2 = toric_varieties.P2()
         sage: HH = P2.cohomology_ring()
-        sage: from sage.schemes.toric.variety import CohomologyClass
-        sage: isinstance( HH.one() , CohomologyClass)                                            # needs sage.libs.singular
+        sage: from sage.schemes.toric.variety import is_CohomologyClass
+        sage: is_CohomologyClass( HH.one() )                                            # needs sage.libs.singular
         True
         sage: is_CohomologyClass( HH(P2.fan(1)[0]) )                                    # needs sage.libs.singular
         True
-        sage: isinstance('z', CohomologyClass)
+        sage: is_CohomologyClass('z')
         False
     """
     return isinstance(x, CohomologyClass)