Given some natural number $n$ and the elliptic curveDoes it hold that $E:y^2=x^3-x-n$, how can I find the is a minimal model offor any choice $E$$n$? Using the Sage programming language we can check that $E$ is indeed minimal for every $n\leq20,000$.