static void TestG2() { Console.WriteLine("TestG2"); G2 P = new G2(); P.Clear(); assert("P = 0", P.ToString() == "0"); assert("P is valid", P.IsValid()); assert("P is zero", P.IsZero()); P.HashAndMapTo("abc"); assert("P is valid", P.IsValid()); assert("P is not zero", !P.IsZero()); G2 Q = new G2(); Q = P.Clone(); assert("P == Q", Q.Equals(P)); G2.Neg(Q, P); G2.Add(Q, Q, P); assert("Q is zero", Q.IsZero()); G2.Dbl(Q, P); G2 R = new G2(); G2.Add(R, P, P); assert("Q == R", Q.Equals(R)); Fr x = new Fr(); x.SetInt(3); G2.Add(R, R, P); G2.Mul(Q, P, x); assert("Q == R", Q.Equals(R)); }