Ticket #14755: 14755-renamed-function.patch

File 14755-renamed-function.patch, 3.5 KB (added by florian, 9 years ago)
  • sage/schemes/hyperelliptic_curves/mestre.py

    # HG changeset patch
    # User Florian Bouyer <f.j.s.c.bouyer@gmail.com>
    # Date 1374765543 -3600
    # Node ID 50a222ac61ace5e8a4bee0d41d830fc7a6db4a55
    # Parent  7b9ec6250ec1712ff4036f6d25951f03e694ee3c
    14755 changed function name
    
    diff --git a/sage/schemes/hyperelliptic_curves/mestre.py b/sage/schemes/hyperelliptic_curves/mestre.py
    a b  
    2828from sage.schemes.plane_conics.constructor import Conic
    2929from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
    3030from sage.schemes.hyperelliptic_curves.constructor import HyperellipticCurve
    31 from sage.schemes.hyperelliptic_curves.reduction import reduce_hyperelliptic_curve_polynomial
     31from sage.schemes.hyperelliptic_curves.reduction import reduce_height
    3232
    3333
    3434def HyperellipticCurve_from_invariants(i, reduced=True, precision=None,
  • sage/schemes/hyperelliptic_curves/reduction.py

    diff --git a/sage/schemes/hyperelliptic_curves/reduction.py b/sage/schemes/hyperelliptic_curves/reduction.py
    a b  
    4343from sage.schemes.hyperelliptic_curves.stoll_cremona import stoll_cremona_reduction
    4444
    4545
    46 def reduce_hyperelliptic_curve_polynomial(f, precision=3000, algorithm='default', primes=None):   
     46def reduce_height(f, precision=3000, algorithm='default', primes=None):   
    4747    r"""
    4848
    4949    Reduces f by using the three functions reduce_gcd, reduce_discriminant,
     
    7777    Over `\QQ`::
    7878
    7979        sage: P.<x> = QQ[]
    80         sage: from sage.schemes.hyperelliptic_curves.reduction import reduce_hyperelliptic_curve_polynomial
     80        sage: from sage.schemes.hyperelliptic_curves.reduction import reduce_height
    8181        sage: f = -16*x^6 - 1611*x^5 - 8640*x^4 + 69120*x^3 - 311040*x^2 + 746496*x - 746496
    82         sage: reduce_hyperelliptic_curve_polynomial(f)
     82        sage: reduce_height(f)
    8383        -x^6 + 3*x - 2
    8484        sage: f =  -5*x^6 + 174*x^5 - 2700*x^4 + 21600*x^3 - 97200*x^2 + 233280*x - 233280
    85         sage: reduce_hyperelliptic_curve_polynomial(f)
     85        sage: reduce_height(f)
    8686        -x^6 - x^5 - 5
    8787
    8888    Over number fields::
     
    9292        sage: a = k.an_element()
    9393        sage: P.<x> = k[]
    9494        sage: f =  x^6 + 2*x^4 + (64*a + 410)*x^3 + 1311360*a + 8396801
    95         sage: reduce_hyperelliptic_curve_polynomial(f)
     95        sage: reduce_height(f)
    9696        (-320*a + 2049)*x^6 + (-640*a + 4098)*x^4 + (-64*a + 410)*x^3 + 320*a + 2049
    9797        sage: k = NumberField(X^2 - 73,'a')
    9898        sage: a = k.an_element()
    9999        sage: P.<x> = k[]
    100100        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
    101         sage: reduce_hyperelliptic_curve_polynomial(f)
     101        sage: reduce_height(f)
    102102        x^6 + 3*x^2 + 1/2*a - 1/2
    103103     
    104104    """
     
    121121    number fields of class number larger than one, there may still be a small
    122122    prime ideal in the denominator after the reduction.
    123123
    124     This is an internal function called by :func: `reduce_hyperelliptic_curve_polynomial`
     124    This is an internal function called by :func: `reduce_height`
     125
    125126    INPUT:
    126127   
    127128    - ``f`` - a polynomial
     
    335336    r"""
    336337    Removes 10th powers from the discriminant by a `GL_2(QQ)` transformation.
    337338
    338     This is an internal function called by :func: `reduce_hyperelliptic_curve_polynomial`
     339    This is an internal function called by :func: `reduce_height`
    339340   
    340341    INPUT:
    341342