public static void Twice(uint[] x, uint[] z) { if (Nat.ShiftUpBit(6, x, 0u, 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] == uint.MaxValue && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Reduce32(uint x, uint[] z) { ulong cc = 0; if (x != 0) { cc += (ulong)z[0] + x; z[0] = (uint)cc; cc >>= 32; if (cc != 0) { cc += (ulong)z[1]; z[1] = (uint)cc; cc >>= 32; } cc += (ulong)z[2] + x; z[2] = (uint)cc; cc >>= 32; Debug.Assert(cc == 0 || cc == 1); } if ((cc != 0 && Nat.IncAt(6, z, 3) != 0) || (z[5] == P5 && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void AddOne(uint[] x, uint[] z) { if (Nat.Inc(6, x, z) != 0 || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { Nat.Add33To(6, 4553u, z); } }
public static void AddOne(uint[] x, uint[] z) { if (Nat.Inc(6, x, z) != 0 || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Reduce32(uint x, uint[] z) { if ((x != 0 && Nat192.Mul33WordAdd(PInv33, x, z, 0) != 0) || (z[5] == P5 && Nat192.Gte(z, P))) { Nat.Add33To(6, PInv33, z); } }
public static uint[] FromBigInteger(BigInteger x) { uint[] array = Nat192.FromBigInteger(x); if (array[5] == uint.MaxValue && Nat192.Gte(array, P)) { Nat192.SubFrom(P, array); } return(array); }
public static uint[] FromBigInteger(BigInteger x) { uint[] z = Nat192.FromBigInteger(x); if (z[5] == P5 && Nat192.Gte(z, P)) { Nat192.SubFrom(P, z); } return(z); }
public static void AddOne(uint[] x, uint[] z) { uint c = Nat.Inc(6, x, z); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { Nat.Add33To(6, PInv33, z); } }
public static void Reduce(uint[] xx, uint[] z) { ulong y = Nat192.Mul33Add(4553u, xx, 6, xx, 0, z, 0); if (Nat192.Mul33DWordAdd(4553u, y, z, 0) != 0 || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { Nat.Add33To(6, 4553u, 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 Twice(uint[] x, uint[] z) { uint c = Nat.ShiftUpBit(6, x, 0, z); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { Nat.Add33To(6, PInv33, z); } }
public static void Reduce(uint[] xx, uint[] z) { ulong num = xx[6]; ulong num2 = xx[7]; ulong num3 = xx[8]; ulong num4 = xx[9]; ulong num5 = xx[10]; ulong num6 = xx[11]; ulong num7 = num + num5; ulong num8 = num2 + num6; ulong num9 = 0uL; num9 += xx[0] + num7; uint num10 = (uint)num9; num9 >>= 32; num9 += xx[1] + num8; z[1] = (uint)num9; num9 >>= 32; num7 += num3; num8 += num4; num9 += xx[2] + num7; ulong num11 = (uint)num9; num9 >>= 32; num9 += xx[3] + num8; z[3] = (uint)num9; num9 >>= 32; num7 -= num; num8 -= num2; num9 += xx[4] + num7; z[4] = (uint)num9; num9 >>= 32; num9 += xx[5] + num8; z[5] = (uint)num9; num9 >>= 32; num11 += num9; num9 += num10; z[0] = (uint)num9; num9 >>= 32; if (num9 != 0) { num9 += z[1]; z[1] = (uint)num9; num11 += num9 >> 32; } z[2] = (uint)num11; num9 = num11 >> 32; if ((num9 != 0 && Nat.IncAt(6, z, 3) != 0) || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Reduce(uint[] xx, uint[] z) { ulong cc = Nat192.Mul33Add(PInv33, xx, 6, xx, 0, z, 0); uint c = Nat192.Mul33DWordAdd(PInv33, cc, z, 0); Debug.Assert(c == 0 || c == 1); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { Nat.Add33To(6, PInv33, z); } }
public static void Reduce32(uint x, uint[] z) { ulong num = 0uL; if (x != 0) { num = (ulong)((long)num + ((long)z[0] + (long)x)); z[0] = (uint)num; num >>= 32; if (num != 0) { num += z[1]; z[1] = (uint)num; num >>= 32; } num = (ulong)((long)num + ((long)z[2] + (long)x)); z[2] = (uint)num; num >>= 32; } if ((num != 0 && Nat.IncAt(6, z, 3) != 0) || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Reduce(uint[] xx, uint[] z) { ulong xx06 = xx[6], xx07 = xx[7], xx08 = xx[8]; ulong xx09 = xx[9], xx10 = xx[10], xx11 = xx[11]; ulong t0 = xx06 + xx10; ulong t1 = xx07 + xx11; ulong cc = 0; cc += (ulong)xx[0] + t0; uint z0 = (uint)cc; cc >>= 32; cc += (ulong)xx[1] + t1; z[1] = (uint)cc; cc >>= 32; t0 += xx08; t1 += xx09; cc += (ulong)xx[2] + t0; ulong z2 = (uint)cc; cc >>= 32; cc += (ulong)xx[3] + t1; z[3] = (uint)cc; cc >>= 32; t0 -= xx06; t1 -= xx07; cc += (ulong)xx[4] + t0; z[4] = (uint)cc; cc >>= 32; cc += (ulong)xx[5] + t1; z[5] = (uint)cc; cc >>= 32; z2 += cc; cc += z0; z[0] = (uint)cc; cc >>= 32; if (cc != 0) { cc += z[1]; z[1] = (uint)cc; z2 += cc >> 32; } z[2] = (uint)z2; cc = z2 >> 32; Debug.Assert(cc == 0 || cc == 1); if ((cc != 0 && Nat.IncAt(6, z, 3) != 0) || (z[5] == P5 && Nat192.Gte(z, P))) { AddPInvTo(z); } }
public static void Reduce32(uint x, uint[] z) { if ((x != 0 && Nat192.Mul33WordAdd(4553u, x, z, 0) != 0) || (z[5] == uint.MaxValue && Nat192.Gte(z, P))) { Nat.Add33To(6, 4553u, z); } }