public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { if ((Nat192.MulAddTo(x, y, zz) != 0 || (zz[11] == 4294967295u && Nat.Gte(12, zz, PExt))) && Nat.AddTo(PExtInv.Length, PExtInv, zz) != 0) { Nat.IncAt(12, zz, PExtInv.Length); } }
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { if (((Nat192.MulAddTo(x, y, zz) != 0) || ((zz[11] == uint.MaxValue) && Nat.Gte(12, zz, PExt))) && (Nat.AddTo(PExtInv.Length, PExtInv, zz) != 0)) { Nat.IncAt(12, zz, PExtInv.Length); } }
public static void MultiplyAddToExt(uint[] x, uint[] y, uint[] zz) { uint c = Nat192.MulAddTo(x, y, zz); if (c != 0 || (zz[11] == PExt11 && Nat.Gte(12, zz, PExt))) { if (Nat.AddTo(PExtInv.Length, PExtInv, zz) != 0) { Nat.IncAt(12, zz, PExtInv.Length); } } }