public void Double_cross_check() { Fp2 a = new Fp2(Parameters.P / 2, Parameters.P / 4); a.IsValid(); Assert.AreEqual(a.Double(), a.Add(a)); }
public void Add_negate() { Fp2 a = new Fp2(Parameters.P / 2, Parameters.P / 4); Assert.True(a.IsValid()); Assert.AreEqual(Fp2.Zero, a.Add(a.Negate())); Assert.AreEqual(Fp2.Zero, a.Negate().Add(a)); }