# Ticket #12204: trac_12204_modify_doc.patch

File trac_12204_modify_doc.patch, 1.8 KB (added by florian, 17 months ago)
• ## sage/schemes/hyperelliptic_curves/hyperelliptic_rational_field.py

# 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 Reduces the defining polynomial of the hyperelliptic curve. OUTPUT: A new hyperelliptic curve isomorphic to the original curve over \bar{\QQ} EXAMPLE: :: :: sage: P. = QQ[] 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) 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) sage: C.reduce_poly() 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 sage: C = HyperellipticCurve(-x^6+4410*x^5-540*x^4+4320*x^3-19440*x^2+46656*x-46656) sage: C = HyperellipticCurve(-x^6 + 4410*x^5 - 540*x^4 + 4320*x^3 - 19440*x^2 + 46656*x - 46656) sage: C.reduce_poly() Hyperelliptic Curve over Rational Field defined by y^2 = x^6 + 3*x - 1 sage: C = HyperellipticCurve(14*x^4 + 96*x^3 + 216*x^2 + 216*x + 81) sage: C.reduce_poly() Hyperelliptic Curve over Rational Field defined by y^2 = x^4 - 2