ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 27 Nov 2014 18:23:04 +0100elliptic curves in quartic and standard formhttps://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/ y^2 = a*x^4+b*x^3+c*x^2+d*x+e
is birationally equivalent to an elliptic curve in standard Weierstrass form `y^2=cubic(x)`.
How to I get sage to exhibit/find the birational transformation that accomplishes that?
[I am specifically interested in knowing all about this class of curves:
`8*D*y^2 = (x-2)*(x-1)*(x+1)*(x+2)`
for integer D. I am pretty new to both SAGE and elliptic curves.]Sat, 03 Mar 2012 11:29:02 +0100https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/Answer by FrédéricC for <pre><code>y^2 = a*x^4+b*x^3+c*x^2+d*x+e
</code></pre>
<p>is birationally equivalent to an elliptic curve in standard Weierstrass form <code>y^2=cubic(x)</code>.
How to I get sage to exhibit/find the birational transformation that accomplishes that? </p>
<p>[I am specifically interested in knowing all about this class of curves:
<code>8*D*y^2 = (x-2)*(x-1)*(x+1)*(x+2)</code>
for integer D. I am pretty new to both SAGE and elliptic curves.]</p>
https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?answer=25024#post-id-25024I do not know if the transformation can be found, but the following works:
sage: D=polygen(QQ,'D')
sage: x,y=polygen(D.parent(),'x,y')
sage: Jacobian(8*D*y^2 - (x-2)*(x-1)*(x+1)*(x+2))
Elliptic Curve defined by y^2 = x^3 - 4672/3*D^2*x + 609280/27*D^3 over Univariate Polynomial Ring in D over Rational Field
Thu, 27 Nov 2014 18:23:04 +0100https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?answer=25024#post-id-25024Answer by John Cremona for <pre><code>y^2 = a*x^4+b*x^3+c*x^2+d*x+e
</code></pre>
<p>is birationally equivalent to an elliptic curve in standard Weierstrass form <code>y^2=cubic(x)</code>.
How to I get sage to exhibit/find the birational transformation that accomplishes that? </p>
<p>[I am specifically interested in knowing all about this class of curves:
<code>8*D*y^2 = (x-2)*(x-1)*(x+1)*(x+2)</code>
for integer D. I am pretty new to both SAGE and elliptic curves.]</p>
https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?answer=15818#post-id-15818The binary quartic is only birationally equivalent to a Weierstrass equation if it has a rational point. Then, the required transformations are indeed to be found in Cassels. They have not yet been implemented in Sage. If there is no rational point (or you do not know one) then there is a degree 4 map from the quartic to its Jacobian elliptic curve, called a two-covering map. These are used in two-descent, but there is no Sage function which simply inputs a quartic and outputs the cubic. Note that getting the equation of the Jacobian cubic is easy: it is Y^2=X^3-27*I*X-27*J where I and J are the classical invariants of the quartic. You can read more about this in my paper Classical Invariants and 2-descent on elliptic curves (preprint [here](http://homepages.warwick.ac.uk/staff/J.E.Cremona/papers/inv_latex.ps)), Journal of Symbolic Computation (Proceedings of the Second Magma Conference, Milwaukee, May 1996), Jan/Feb 2001, pages 71-87.Sun, 15 Dec 2013 07:48:10 +0100https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?answer=15818#post-id-15818Comment by FrédéricC for <p>The binary quartic is only birationally equivalent to a Weierstrass equation if it has a rational point. Then, the required transformations are indeed to be found in Cassels. They have not yet been implemented in Sage. If there is no rational point (or you do not know one) then there is a degree 4 map from the quartic to its Jacobian elliptic curve, called a two-covering map. These are used in two-descent, but there is no Sage function which simply inputs a quartic and outputs the cubic. Note that getting the equation of the Jacobian cubic is easy: it is Y^2=X^3-27<em>I</em>X-27*J where I and J are the classical invariants of the quartic. You can read more about this in my paper Classical Invariants and 2-descent on elliptic curves (preprint <a href="http://homepages.warwick.ac.uk/staff/J.E.Cremona/papers/inv_latex.ps">here</a>), Journal of Symbolic Computation (Proceedings of the Second Magma Conference, Milwaukee, May 1996), Jan/Feb 2001, pages 71-87.</p>
https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?comment=25023#post-id-25023One can use Jacobian to build elliptic curves:
sage: x, y = polygen(QQ, 'x, y')
sage: Jacobian(y*y-x**4-3*x+5)
Elliptic Curve defined by y^2 = x^3 + 20*x + 9 over Rational FieldThu, 27 Nov 2014 18:21:03 +0100https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?comment=25023#post-id-25023Answer by RPC for <pre><code>y^2 = a*x^4+b*x^3+c*x^2+d*x+e
</code></pre>
<p>is birationally equivalent to an elliptic curve in standard Weierstrass form <code>y^2=cubic(x)</code>.
How to I get sage to exhibit/find the birational transformation that accomplishes that? </p>
<p>[I am specifically interested in knowing all about this class of curves:
<code>8*D*y^2 = (x-2)*(x-1)*(x+1)*(x+2)</code>
for integer D. I am pretty new to both SAGE and elliptic curves.]</p>
https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?answer=13814#post-id-13814Unfortunately I do not know of any online source, but you can take a look into Cassel's book "Lectures on Elliptic Curves". It will tell you how to go from a quartic to a cubic model of an elliptic curve.Wed, 11 Jul 2012 17:11:24 +0200https://ask.sagemath.org/question/8766/elliptic-curves-in-quartic-and-standard-form/?answer=13814#post-id-13814