Points on y2=x(x−3)(x+4)y^2 = x(x-3)(x+4)y2=x(x−3)(x+4).
expand(x*(x-3)*(x+4))
E = EllipticCurve([0,1,0,-12,0]); show(E)
E.conductor()
E.rank()
E.cremona_label()
E.integral_points()
E.torsion_points()