public static void AddOne(uint[] x, uint[] z) { uint c = Nat.Inc(8, x, z); if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { AddPInvTo(z); } }
public static uint[] FromBigInteger(BigInteger x) { uint[] z = Nat256.FromBigInteger(x); if (z[7] == P7 && Nat256.Gte(z, P)) { Nat256.SubFrom(P, z); } return(z); }
public static void Twice(uint[] x, uint[] z) { uint c = Nat.ShiftUpBit(8, x, 0, z); if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { AddPInvTo(z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { uint c = Nat256.Add(x, y, z); if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { AddPInvTo(z); } }
public static void Add(uint[] x, uint[] y, uint[] z) { uint c = Nat256.Add(x, y, z); if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { Nat.Add33To(8, PInv33, z); } }
public static void Reduce(uint[] xx, uint[] z) { ulong cc = Nat256.Mul33Add(PInv33, xx, 8, xx, 0, z, 0); uint c = Nat256.Mul33DWordAdd(PInv33, cc, z, 0); Debug.Assert(c == 0 || c == 1); if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { Nat.Add33To(8, PInv33, z); } }
public static void Reduce32(uint x, uint[] z) { long cc = 0; if (x != 0) { long xx08 = x; cc += (long)z[0] + xx08; z[0] = (uint)cc; cc >>= 32; if (cc != 0) { cc += (long)z[1]; z[1] = (uint)cc; cc >>= 32; cc += (long)z[2]; z[2] = (uint)cc; cc >>= 32; } cc += (long)z[3] - xx08; z[3] = (uint)cc; cc >>= 32; if (cc != 0) { cc += (long)z[4]; z[4] = (uint)cc; cc >>= 32; cc += (long)z[5]; z[5] = (uint)cc; cc >>= 32; } cc += (long)z[6] - xx08; z[6] = (uint)cc; cc >>= 32; cc += (long)z[7] + xx08; z[7] = (uint)cc; cc >>= 32; Debug.Assert(cc == 0 || cc == 1); } if (cc != 0 || (z[7] == P7 && Nat256.Gte(z, P))) { AddPInvTo(z); } }