Revision history [back]

Sage can give you the isomorphism too, in a separate operation:

sage: E=EllipticCurve([-3267,45630]); E
  Elliptic Curve defined by y^2 = x^3 - 3267*x + 45630 over Rational Field
sage: Emin = E.minimal_model(); Emin
  Elliptic Curve defined by y^2 + x*y = x^3 + x^2 - 2*x over Rational Field
sage: T = E.isomorphism_to(Emin); T
  Generic morphism:
    From: Abelian group of points on Elliptic Curve defined by y^2 = x^3 - 3267*x + 45630 over Rational Field
    To:   Abelian group of points on Elliptic Curve defined by y^2 + x*y = x^3 + x^2 - 2*x over Rational Field
    Via:  (u,r,s,t) = (6, 15, 3, 0)