suggested details

Author: fchapoton

src/sage/dynamics/arithmetic_dynamics/wehlerK3.py

@@ -142,7 +142,7 @@ def __init__(self, polys):
         vars = R.variable_names()
         A = ProductProjectiveSpaces([2, 2],R.base_ring(),vars)
         CR = A.coordinate_ring()
-        #Check for following:
+        # Check for following:
         #    Is the user calling in 2 polynomials from a list or tuple?
         #    Is there one biquadratic and one bilinear polynomial?
         if len(polys) != 2:
@@ -411,7 +411,7 @@ def Hpoly(self, component, i, j):
             sage: X.Hpoly(0, 1, 0)
              2*y0*y1^3 + 2*y0*y1*y2^2 - y1*y2^3
         """
-        #Check Errors in Passed in Values
+        # Check Errors in Passed in Values
         if component not in [0, 1]:
             raise ValueError("component can only be 1 or 0")
 
@@ -751,7 +751,7 @@ def is_degenerate(self) -> bool:
         PP = self.ambient_space()
         K = FractionField(PP[0].base_ring())
         R = PP.coordinate_ring()
-        PS = PP[0] #check for x fibers
+        PS = PP[0]  # check for x fibers
         vars = list(PS.gens())
         R0 = PolynomialRing(K, 3, vars) #for dimension calculation to work,
             #must be done with Polynomial ring over a field
@@ -763,7 +763,7 @@ def is_degenerate(self) -> bool:
         if I.dimension() != 0:
             return True
 
-        PS = PP[1] #check for y fibers
+        PS = PP[1]  # check for y fibers
         vars = list(PS.gens())
         R0 = PolynomialRing(K,3,vars) #for dimension calculation to work,
         #must be done with Polynomial ring over a field
@@ -840,7 +840,7 @@ def degenerate_fibers(self):
         phi = R.hom(vars + [0, 0, 0], R0)
         I = phi(I)
         xFibers = []
-        #check affine charts
+        # check affine charts
         for n in range(3):
             affvars = list(R0.gens())
             del affvars[n]
@@ -871,7 +871,7 @@ def degenerate_fibers(self):
         phi = PP.coordinate_ring().hom([0, 0, 0] + vars, R0)
         I = phi(I)
         yFibers = []
-        #check affine charts
+        # check affine charts
         for n in range(3):
             affvars = list(R0.gens())
             del affvars[n]
@@ -898,7 +898,7 @@ def degenerate_fibers(self):
     @cached_method
     def degenerate_primes(self, check=True):
         r"""
-        Determine which primes `p` ``self`` has degenerate fibers over `\GF{p}`.
+        Determine primes `p` such that ``self`` has degenerate fibers over `\GF{p}`.
 
         If ``check`` is ``False``, then may return primes that do not have degenerate fibers.
         Raises an error if the surface is degenerate.
@@ -995,7 +995,7 @@ def degenerate_primes(self, check=True):
             if power == 1:
                 bad_primes = bad_primes+GB[i].lt().coefficients()[0].support()
         bad_primes = sorted(set(bad_primes))
-        #check to return only the truly bad primes
+        # check to return only the truly bad primes
         if check:
             for p in bad_primes:
                 X = self.change_ring(GF(p))
@@ -1041,7 +1041,7 @@ def is_smooth(self) -> bool:
         R = self.ambient_space().coordinate_ring()
         I = R.ideal(M.minors(2) + [self.L,self.Q])
         T = PolynomialRing(self.ambient_space().base_ring().fraction_field(), 4, 'h')
-        #check the 9 affine charts for a singular point
+        # check the 9 affine charts for a singular point
         for l in xmrange([3, 3]):
             vars = list(T.gens())
             vars.insert(l[0], 1)
@@ -1577,7 +1577,7 @@ def phi(self, a, **kwds):
             (-1 : 0 : 1 , 0 : 1 : 0)
         """
         A = self.sigmaX(a, **kwds)
-        kwds.update({"check":False})
+        kwds.update({"check": False})
         return self.sigmaY(A, **kwds)
 
     def psi(self, a, **kwds):
@@ -1617,7 +1617,7 @@ def psi(self, a, **kwds):
             (0 : 0 : 1 , 0 : 1 : 0)
         """
         A = self.sigmaY(a, **kwds)
-        kwds.update({"check":False})
+        kwds.update({"check": False})
         return self.sigmaX(A, **kwds)
 
     def lambda_plus(self, P, v, N, m, n, prec=100):
@@ -2413,7 +2413,7 @@ def orbit_psi(self, P, N, **kwds):
 
     def is_isomorphic(self, right) -> bool:
         r"""
-        Check to see if two K3 surfaces have the same defining ideal.
+        Check whether two K3 surfaces have the same defining ideal.
 
         INPUT:
 
@@ -2451,7 +2451,7 @@ def is_isomorphic(self, right) -> bool:
 
     def is_symmetric_orbit(self, orbit) -> bool:
         r"""
-        Check to see if the orbit is symmetric.
+        Check whether the orbit is symmetric.
 
         This means that one of the points on the
         orbit is fixed by '\sigma_x' or '\sigma_y'.