Lines Matching full:curve
3095 // x1 != 0 is the x coordinate of some point on the curve. It was also checked3104 // Proof that these form a group that is isomorphic to a Weierstrass curve: