negP-plus-P.asy

include "pre-ec";

/// This is where things get hand configured.
// y^{2}=x^{3}+ax+b

// curve parameters
int a = -2;
int b = 2;

// Set points P and Q
real Px =-0.90; bool PyPositive = false;
real Qx = 1.2; bool QyPositive = false;


include "post-config";

pair negP = inv(P);

dot(negP); label("$-P$", negP, N);
dot(P); label("$P$", P, SSE);

draw(P -- negP, L="$-P + P = \mathbf{0}$");