# HG changeset patch
# User Florian Bouyer <F.J.S.C.Bouyer@gmail.com>
# Date 1324460615 0
# Node ID 63df041ce0366b4a09192cc883df2f992b987475
# Parent db095ea5402f1f477d010cbf36b40d11dbc61fa2
#12204: Changes to the documentation
diff -r db095ea5402f -r 63df041ce036 sage/schemes/hyperelliptic_curves/hyperelliptic_rational_field.py
|
a
|
b
|
|
| 36 | 36 | |
| 37 | 37 | Reduces the defining polynomial of the hyperelliptic curve. |
| 38 | 38 | |
| | 39 | OUTPUT: |
| | 40 | |
| | 41 | A new hyperelliptic curve isomorphic to the original curve over `\bar{\QQ}` |
| | 42 | |
| 39 | 43 | EXAMPLE: |
| 40 | 44 | |
| 41 | | :: |
| | 45 | :: |
| | 46 | |
| 42 | 47 | sage: P.<x> = QQ[] |
| 43 | | sage: C = HyperellipticCurve(19*x^8-262*x^7+1507*x^6-4784*x^5+9202*x^4-10962*x^3+7844*x^2-3040*x+475) |
| | 48 | sage: C = HyperellipticCurve(19*x^8 - 262*x^7 + 1507*x^6 - 4784*x^5 + 9202*x^4 - 10962*x^3 + 7844*x^2 - 3040*x + 475) |
| 44 | 49 | sage: C.reduce_poly() |
| 45 | 50 | Hyperelliptic Curve over Rational Field defined by y^2 = x^8 - 6*x^7 + 7*x^6 + 12*x^5 - 27*x^4 + 4*x^3 + 19*x^2 - 10*x + 5 |
| 46 | | sage: C = HyperellipticCurve(-x^6+4410*x^5-540*x^4+4320*x^3-19440*x^2+46656*x-46656) |
| | 51 | |
| | 52 | sage: C = HyperellipticCurve(-x^6 + 4410*x^5 - 540*x^4 + 4320*x^3 - 19440*x^2 + 46656*x - 46656) |
| 47 | 53 | sage: C.reduce_poly() |
| 48 | 54 | Hyperelliptic Curve over Rational Field defined by y^2 = x^6 + 3*x - 1 |
| | 55 | |
| 49 | 56 | sage: C = HyperellipticCurve(14*x^4 + 96*x^3 + 216*x^2 + 216*x + 81) |
| 50 | 57 | sage: C.reduce_poly() |
| 51 | 58 | Hyperelliptic Curve over Rational Field defined by y^2 = x^4 - 2 |