Elliptic curve over the real numbers (source code)

= Elliptic curve over the real numbers
{tag=Real number}
{title2=$E(\F)$}