public static void Add(uint[] x, uint[] y, uint[] z) { if ((Nat192.Add(x, y, z) != 0) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P))) { Nat.Add33To(6, 0x11c9, z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { if ((Nat192.Add(x, y, z) != 0) || ((z[5] == uint.MaxValue) && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { if (Nat192.Add(x, y, z) != 0 || (z[5] == 4294967295u && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { if (Nat192.Add(x, y, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192K1Field.P))) { Nat.Add33To(6, 4553u, z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { if (Nat192.Add(x, y, z) != 0 || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { Nat.Add33To(6, 4553u, z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { if (Nat192.Add(x, y, z) != 0u || (z[5] == 4294967295u && Nat192.Gte(z, SecP192R1Field.P))) { SecP192R1Field.AddPInvTo(z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { uint c = Nat192.Add(x, y, z); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { uint c = Nat192.Add(x, y, z); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { Nat.Add33To(6, PInv33, z); } }
public static void Subtract(uint[] x, uint[] y, uint[] z) { int c = Nat192.Sub(x, y, z); if (c != 0) { Nat192.Add(z, P, z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { uint c = Nat192.Add(x, y, z); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { Nat192.AddDWord(PInv, z, 0); } }
public static void Half(uint[] x, uint[] z) { if ((x[0] & 1) == 0) { Nat.ShiftDownBit(6, x, 0u, z); return; } uint c = Nat192.Add(x, P, z); Nat.ShiftDownBit(6, z, c); }
public static void Half(uint[] x, uint[] z) { if ((x[0] & 1u) == 0u) { Nat.ShiftDownBit(6, x, 0u, z); return; } uint c = Nat192.Add(x, SecP192K1Field.P, z); Nat.ShiftDownBit(6, z, c); }
public static void Half(uint[] x, uint[] z) { if ((x[0] & 1) == 0) { Nat192.ShiftDownBit(x, 0, z); } else { uint c = Nat192.Add(x, P, z); Nat192.ShiftDownBit(z, c, z); } }