Remarks

Your reading for this week is about the Nagell-Lutz theorem about the subgroup of rational points of finite order on an elliptic curve, and how to use certain computer programs to compute with elliptic curves.

Helpful hint: To input the elliptic curve

$$y^2+a_1 xy + a_3 y = x^3 + a_2 x^3 + a_4 x + a_6$$

to the computer programs we will use, enter $[a_1,a_2,a_3,a_4,a_6].$