Last time we saw a geometric version of the algorithm to add points on elliptic curves. We went quite deep into the formal setting for it (projective space $latex \mathbb{P}^2$), and we spent a lot...