Ask Your Question
0

How to convert output of 'isomorphism_to' to transformation rule

asked 2019-12-23 22:21:21 +0100

azerbajdzan gravatar image

updated 2020-05-28 18:36:20 +0100

FrédéricC gravatar image

Input:

C = EllipticCurve([0,0,0,-((250)/3),-(1249/27)])
print(C)
Cmin=C.minimal_model()
print(Cmin)
Cmin.isomorphism_to(C)

Output:

Elliptic Curve defined by y^2 = x^3 - 250/3*x - 1249/27 over Rational Field
Elliptic Curve defined by y^2 = x^3 + x^2 - 83*x - 74 over Rational Field
Generic morphism:
  From: Abelian group of points on Elliptic Curve defined by y^2 = x^3 + x^2 - 83*x - 74 over Rational Field
  To:   Abelian group of points on Elliptic Curve defined by y^2 = x^3 - 250/3*x - 1249/27 over Rational Field
  Via:  (u,r,s,t) = (1, -1/3, 0, 0)

But I want explicit transformation like $(x,y) = (u^2 x+r , u^3 y + s u^2 x + t)$, in our case it would be $(x, y) = (-(1/3) + x, y)$ instead of just showing $(u,r,s,t) = (1, -1/3, 0, 0)$.

EDIT:

What is wrong with the page? My question looked OK in preview window, but when sent there was gibberish inside $$.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
0

answered 2019-12-26 16:41:15 +0100

azerbajdzan gravatar image

updated 2020-01-02 11:47:53 +0100

Input:

from sage.schemes.elliptic_curves.weierstrass_morphism import *
C = EllipticCurve([0,0,0,-((250)/3),-(1249/27)])
print(C)
Cmin=C.minimal_model()
print(Cmin)
(u,r,s,t)=isomorphisms(Cmin,C,True)
var('x y')
[u^2*x+r,u^3*y+s*u^2*x+t]

Output:

Elliptic Curve defined by y^2 = x^3 - 250/3*x - 1249/27 over Rational Field
Elliptic Curve defined by y^2 = x^3 + x^2 - 83*x - 74 over Rational Field
[x - 1/3, y]
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2019-12-23 22:21:21 +0100

Seen: 279 times

Last updated: Jan 02 '20