# 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
|
|
28 | 28 | from sage.schemes.plane_conics.constructor import Conic |
29 | 29 | from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing |
30 | 30 | from sage.schemes.hyperelliptic_curves.constructor import HyperellipticCurve |
31 | | from sage.schemes.hyperelliptic_curves.reduction import reduce_hyperelliptic_curve_polynomial |
| 31 | from sage.schemes.hyperelliptic_curves.reduction import reduce_height |
32 | 32 | |
33 | 33 | |
34 | 34 | def HyperellipticCurve_from_invariants(i, reduced=True, precision=None, |
diff --git a/sage/schemes/hyperelliptic_curves/reduction.py b/sage/schemes/hyperelliptic_curves/reduction.py
a
|
b
|
|
43 | 43 | from sage.schemes.hyperelliptic_curves.stoll_cremona import stoll_cremona_reduction |
44 | 44 | |
45 | 45 | |
46 | | def reduce_hyperelliptic_curve_polynomial(f, precision=3000, algorithm='default', primes=None): |
| 46 | def reduce_height(f, precision=3000, algorithm='default', primes=None): |
47 | 47 | r""" |
48 | 48 | |
49 | 49 | Reduces f by using the three functions reduce_gcd, reduce_discriminant, |
… |
… |
|
77 | 77 | Over `\QQ`:: |
78 | 78 | |
79 | 79 | 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 |
81 | 81 | 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) |
83 | 83 | -x^6 + 3*x - 2 |
84 | 84 | 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) |
86 | 86 | -x^6 - x^5 - 5 |
87 | 87 | |
88 | 88 | Over number fields:: |
… |
… |
|
92 | 92 | sage: a = k.an_element() |
93 | 93 | sage: P.<x> = k[] |
94 | 94 | 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) |
96 | 96 | (-320*a + 2049)*x^6 + (-640*a + 4098)*x^4 + (-64*a + 410)*x^3 + 320*a + 2049 |
97 | 97 | sage: k = NumberField(X^2 - 73,'a') |
98 | 98 | sage: a = k.an_element() |
99 | 99 | sage: P.<x> = k[] |
100 | 100 | 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) |
102 | 102 | x^6 + 3*x^2 + 1/2*a - 1/2 |
103 | 103 | |
104 | 104 | """ |
… |
… |
|
121 | 121 | number fields of class number larger than one, there may still be a small |
122 | 122 | prime ideal in the denominator after the reduction. |
123 | 123 | |
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 | |
125 | 126 | INPUT: |
126 | 127 | |
127 | 128 | - ``f`` - a polynomial |
… |
… |
|
335 | 336 | r""" |
336 | 337 | Removes 10th powers from the discriminant by a `GL_2(QQ)` transformation. |
337 | 338 | |
338 | | This is an internal function called by :func: `reduce_hyperelliptic_curve_polynomial` |
| 339 | This is an internal function called by :func: `reduce_height` |
339 | 340 | |
340 | 341 | INPUT: |
341 | 342 | |