Ticket #14755: 14755-renamed-function.patch

sage/schemes/hyperelliptic_curves/mestre.py

@@ -28 +28 @@
 from sage.schemes.plane_conics.constructor import Conic
 from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
 from sage.schemes.hyperelliptic_curves.constructor import HyperellipticCurve
-from sage.schemes.hyperelliptic_curves.reduction import reduce_hyperelliptic_curve_polynomial
+from sage.schemes.hyperelliptic_curves.reduction import reduce_height
 
 
 def HyperellipticCurve_from_invariants(i, reduced=True, precision=None,

sage/schemes/hyperelliptic_curves/reduction.py

@@ -43 +43 @@
 from sage.schemes.hyperelliptic_curves.stoll_cremona import stoll_cremona_reduction
 
 
-def reduce_hyperelliptic_curve_polynomial(f, precision=3000, algorithm='default', primes=None):    
+def reduce_height(f, precision=3000, algorithm='default', primes=None):    
     r"""
 
     Reduces f by using the three functions reduce_gcd, reduce_discriminant,
@@ -77 +77 @@
     Over `\QQ`::
 
         sage: P.<x> = QQ[]
-        sage: from sage.schemes.hyperelliptic_curves.reduction import reduce_hyperelliptic_curve_polynomial
+        sage: from sage.schemes.hyperelliptic_curves.reduction import reduce_height
         sage: f = -16*x^6 - 1611*x^5 - 8640*x^4 + 69120*x^3 - 311040*x^2 + 746496*x - 746496
-        sage: reduce_hyperelliptic_curve_polynomial(f)
+        sage: reduce_height(f)
         -x^6 + 3*x - 2
         sage: f =  -5*x^6 + 174*x^5 - 2700*x^4 + 21600*x^3 - 97200*x^2 + 233280*x - 233280
-        sage: reduce_hyperelliptic_curve_polynomial(f)
+        sage: reduce_height(f)
         -x^6 - x^5 - 5
 
     Over number fields::
@@ -92 +92 @@
         sage: a = k.an_element()
         sage: P.<x> = k[]
         sage: f =  x^6 + 2*x^4 + (64*a + 410)*x^3 + 1311360*a + 8396801
-        sage: reduce_hyperelliptic_curve_polynomial(f) 
+        sage: reduce_height(f) 
         (-320*a + 2049)*x^6 + (-640*a + 4098)*x^4 + (-64*a + 410)*x^3 + 320*a + 2049
         sage: k = NumberField(X^2 - 73,'a')
         sage: a = k.an_element()
         sage: P.<x> = k[]
         sage: f = (1/778034*a - 1/778034)*x^6 + (3/5329*a - 3/5329)*x^5 + (15/146*a - 9/146)*x^4 + (10*a + 2)*x^3 + (1095/2*a + 1533/2)*x^2 + (15987*a + 47961)*x + 389017/2*a + 2723119/2
-        sage: reduce_hyperelliptic_curve_polynomial(f)
+        sage: reduce_height(f)
         x^6 + 3*x^2 + 1/2*a - 1/2
       
     """
@@ -121 +121 @@
     number fields of class number larger than one, there may still be a small
     prime ideal in the denominator after the reduction.
 
-    This is an internal function called by :func: `reduce_hyperelliptic_curve_polynomial`
+    This is an internal function called by :func: `reduce_height`
+
     INPUT:
    
     - ``f`` - a polynomial
@@ -335 +336 @@
     r"""
     Removes 10th powers from the discriminant by a `GL_2(QQ)` transformation.
 
-    This is an internal function called by :func: `reduce_hyperelliptic_curve_polynomial`
+    This is an internal function called by :func: `reduce_height`
     
     INPUT: