run ruff check --preview --fix src/sage/schemes/hyperelliptic_curves

Author: GiacomoPope

src/sage/schemes/hyperelliptic_curves/all.py

@@ -8,8 +8,10 @@
 #                  https://www.gnu.org/licenses/
 # ****************************************************************************
 
+from sage.schemes.hyperelliptic_curves import monsky_washnitzer
 from sage.schemes.hyperelliptic_curves.constructor import HyperellipticCurve
 from sage.schemes.hyperelliptic_curves.kummer_surface import KummerSurface
 from sage.schemes.hyperelliptic_curves.mestre import (
-    Mestre_conic, HyperellipticCurve_from_invariants)
-from sage.schemes.hyperelliptic_curves import monsky_washnitzer
+    HyperellipticCurve_from_invariants,
+    Mestre_conic,
+)

src/sage/schemes/hyperelliptic_curves/constructor.py

@@ -30,8 +30,8 @@
 #                  https://www.gnu.org/licenses/
 # ****************************************************************************
 
-from sage.functions.other import ceil
 from sage.categories.finite_fields import FiniteFields
+from sage.functions.other import ceil
 from sage.rings.abc import pAdicField
 from sage.rings.integer import Integer
 from sage.rings.polynomial.polynomial_element import Polynomial
@@ -56,6 +56,7 @@
     HyperellipticCurve_rational_field,
 )
 
+
 def HyperellipticCurve(
     f, h=0, names = ['x', 'y'], check_squarefree: bool = True, distinguished_point=None
 ):

src/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py

@@ -38,17 +38,16 @@
 from sage.matrix.constructor import identity_matrix, matrix
 from sage.misc.cachefunc import cached_method
 from sage.misc.functional import rank
+from sage.misc.lazy_import import lazy_import
 from sage.misc.prandom import choice
 from sage.rings.finite_rings.finite_field_constructor import FiniteField as GF
-from sage.rings.integer_ring import ZZ
 from sage.rings.integer import Integer
+from sage.rings.integer_ring import ZZ
 from sage.rings.power_series_ring import PowerSeriesRing
 from sage.rings.rational_field import QQ
 from sage.rings.real_mpfr import RR
-from sage.misc.lazy_import import lazy_import
 from sage.schemes.hyperelliptic_curves import hyperelliptic_generic
 
-
 lazy_import("sage.libs.pari", "pari")
 lazy_import("sage.schemes.hyperelliptic_curves.hypellfrob", "hypellfrob")
 

src/sage/schemes/hyperelliptic_curves/hyperelliptic_generic.py

@@ -43,15 +43,15 @@
 # ****************************************************************************
 
 from typing import Literal
+
 from sage.misc.cachefunc import cached_method
+from sage.misc.lazy_import import lazy_import
 from sage.rings.big_oh import O
+from sage.rings.integer import Integer
+from sage.rings.integer_ring import ZZ
 from sage.rings.laurent_series_ring import LaurentSeriesRing
 from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
 from sage.rings.power_series_ring import PowerSeriesRing
-from sage.rings.real_mpfr import RR
-from sage.rings.integer import Integer
-from sage.rings.integer_ring import ZZ
-from sage.misc.lazy_import import lazy_import
 from sage.schemes.curves.weighted_projective_curve import WeightedProjectiveCurve
 from sage.schemes.weighted_projective.weighted_projective_space import (
     WeightedProjectiveSpace,

src/sage/schemes/hyperelliptic_curves/hyperelliptic_padic_field.py

@@ -35,8 +35,8 @@
 from sage.modules.free_module_element import vector
 from sage.rings.finite_rings.finite_field_constructor import FiniteField as GF
 from sage.rings.infinity import Infinity
-from sage.rings.integer_ring import ZZ
 from sage.rings.integer import Integer
+from sage.rings.integer_ring import ZZ
 from sage.rings.padics.factory import Qp as pAdicField
 from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
 from sage.rings.power_series_ring import PowerSeriesRing

src/sage/schemes/hyperelliptic_curves/hyperelliptic_rational_field.py

@@ -21,9 +21,9 @@
 # ****************************************************************************
 
 import sage.rings.abc
+from sage.rings.integer import Integer
 from sage.rings.padics.factory import Qp as pAdicField
 from sage.schemes.hyperelliptic_curves import hyperelliptic_generic
-from sage.rings.integer import Integer
 
 
 class HyperellipticCurve_rational_field(

src/sage/schemes/hyperelliptic_curves/invariants.py

@@ -121,9 +121,9 @@ def diffsymb(U, f, g):
     ).objgens()
     res = 0
     for coeff, mon in list(U):
-        mon = R(mon)
-        a = diffxy(f, x, mon.degree(fx), y, mon.degree(fy))
-        b = diffxy(g, x, mon.degree(gx), y, mon.degree(gy))
+        m = R(mon)
+        a = diffxy(f, x, m.degree(fx), y, m.degree(fy))
+        b = diffxy(g, x, m.degree(gx), y, m.degree(gy))
         temp = coeff * a * b
         res = res + temp
     return res

src/sage/schemes/hyperelliptic_curves/jacobian_endomorphism_utils.py

@@ -88,13 +88,13 @@
 #                  https://www.gnu.org/licenses/
 # ****************************************************************************
 
-from sage.rings.rational_field import QQ
-from sage.rings.integer_ring import ZZ
-from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
-from sage.rings.finite_rings.finite_field_constructor import FiniteField
+from sage.arith.misc import GCD as gcd
 from sage.misc.lazy_import import lazy_import
 from sage.rings.fast_arith import prime_range
-from sage.arith.misc import GCD as gcd
+from sage.rings.finite_rings.finite_field_constructor import FiniteField
+from sage.rings.integer_ring import ZZ
+from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
+from sage.rings.rational_field import QQ
 
 lazy_import('sage.interfaces.genus2reduction', ['genus2reduction', 'Genus2reduction'])
 lazy_import('sage.rings.number_field.number_field', 'NumberField')

src/sage/schemes/hyperelliptic_curves/jacobian_g2_generic.py

@@ -27,7 +27,6 @@
 from sage.schemes.hyperelliptic_curves.jacobian_generic import (
     HyperellipticJacobian_generic,
 )
-
 from sage.schemes.hyperelliptic_curves.kummer_surface import KummerSurface
 
 

src/sage/schemes/hyperelliptic_curves/jacobian_generic.py

@@ -20,6 +20,7 @@
 # ****************************************************************************
 
 from sage.misc.cachefunc import cached_method
+from sage.misc.lazy_attribute import lazy_attribute
 from sage.rings.integer import Integer
 from sage.rings.rational_field import QQ
 from sage.schemes.hyperelliptic_curves import (
@@ -29,7 +30,6 @@
     jacobian_morphism,
 )
 from sage.schemes.jacobians.abstract_jacobian import Jacobian_generic
-from sage.misc.lazy_attribute import lazy_attribute
 
 
 class HyperellipticJacobian_generic(Jacobian_generic):
@@ -335,6 +335,7 @@ def geometric_endomorphism_algebra_is_field(self, B=200, proof=False):
             True
         """
         from sage.interfaces.genus2reduction import genus2reduction
+
         from .jacobian_endomorphism_utils import get_is_geom_field
 
         if self._have_established_geometrically_field: