Consider the example from the documentation:
sage: R.<u,v,t> = QQ[]
sage: Jacobian(u^3+v^3+t, variables=[u,v])
Elliptic Curve defined by y^2 = x^3 + (-27/4*t^2) over
Multivariate Polynomial Ring in u, v, t over Rational Field
how to obtain the morphism in this case?
You can do this:
sage: T.<t> = FunctionField(QQ)
sage: R.<u,v> = T[]
sage: f = u^3+v^3+t
sage: h = Jacobian(f, curve=Curve(f)); h
Scheme morphism:
From: Affine Plane Curve over Rational function field in t over Rational Field defined by u^3 + v^3 + t
To: Elliptic Curve defined by y^2 = x^3 + (-27/4*t^2) over Rational function field in t over Rational Field
Defn: Defined on coordinates by sending (u, v) to
((-t^3)*u^4*v^4 + (-t^4)*u^4*v + (-t^4)*u*v^4 : 1/2*t^3*u^6*v^3 + (-1/2*t^3)*u^3*v^6 + (-1/2*t^4)*u^6 + 1/2*t^4*v^6 + 1/2*t^5*u^3 + (-1/2*t^5)*v^3 : t^3*u^3*v^3)
Asked: 2019-10-22 10:04:13 +0100
Seen: 302 times
Last updated: Oct 22 '19
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
