% edwards-conic2.tex
%
% Group law on an Edwards curve
%
% Author: Michael Naehrig
% Public domain

\psset{unit=1.5cm} 
\begin{pspicture}(-3,-3)(3,3) 
\psaxes[labels=none, ticks=none, linewidth=.2pt]{->}(0,0)(-3,-3)(3,3)  
\psplot[plotstyle=curve]{-3}{-1}{1 x x mul sub 1 -2 x mul x mul add div sqrt}
\psplot[plotstyle=curve]{-3}{-1}{1 x x mul sub 1 -2 x mul x mul add div sqrt neg}
\psplot[plotstyle=curve]{1}{3}{1 x x mul sub 1 -2 x mul x mul add div sqrt}
\psplot[plotstyle=curve]{1}{3}{1 x x mul sub 1 -2 x mul x mul add div sqrt neg}
\psplot[plotstyle=curve]{-0.685}{0.685}{1 x x mul sub 1 -2 x mul x mul add div sqrt}
\psplot[plotstyle=curve]{-0.685}{0.685}{1 x x mul sub 1 -2 x mul x mul add div sqrt neg}
\psdots(0,1)(0,-1)(1.2,-0.484)(-1.1,0.385)(0.666,2.228)(-0.666,2.228)
\uput[0](-1.1,0.385){$P_1$}
\uput[-90](1.2,-0.484){$P_2$}
\uput[-45](-3,-0.10){$C$}
\uput[0](2,1){$E_{2}$}
\uput[-45](0,1){$\mathcal{O}$}
\uput[135](0,-1){$\mathcal{O}'$}
\psplot[plotstyle=curve, linestyle=dashed, dash=10pt 1pt]{-3}{-0.64}
{-1.146210 -0.585416 x mul add 1.146210 2.229316 x mul add div}
\psplot[plotstyle=curve, linestyle=dashed, dash=10pt 1pt]{-0.37}{3}
{-1.146210 -0.585416 x mul add 1.146210 2.229316 x mul add div}
\psline[linestyle=dashed]{-}(-3,2.228)(3,2.228)
\uput[-45](0.666,2.228){$P_3$}
\uput[-135](-0.666,2.228){$-P_3$}
\uput[-45](2,2.228){$L_{1,P_3}$}
\end{pspicture}