Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.