public static uint[] FromBigInteger(BigInteger x)
{
uint[] z = Nat256.FromBigInteger(x);
if (z[7] == P7 && Nat256.Gte(z, P))
{
Nat256.AddDWord(PInv, z, 0);
}
return(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)))
{
Nat256.AddDWord(PInv, z, 0);
}
}
public static void Twice(uint[] x, uint[] z)
{
uint c = Nat256.ShiftUpBit(x, 0, z);
if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P)))
{
Nat256.AddDWord(PInv, z, 0);
}
}
public static void AddOne(uint[] x, uint[] z)
{
Nat256.Copy(x, z);
uint c = Nat256.Inc(z, 0);
if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P)))
{
Nat256.AddDWord(PInv, z, 0);
}
}
public static void Reduce32(uint x, uint[] z)
{
uint c = Nat256.Mul33WordAdd(PInv33, x, z, 0);
Debug.Assert(c == 0 || c == 1);
if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P)))
{
Nat256.AddDWord(PInv, z, 0);
}
}
public static void Reduce(uint[] xx, uint[] z)
{
ulong c = Nat256.Mul33Add(PInv33, xx, 8, xx, 0, z, 0);
c = Nat256.Mul33DWordAdd(PInv33, c, z, 0);
Debug.Assert(c == 0 || c == 1);
if (c != 0 || (z[7] == P7 && Nat256.Gte(z, P)))
{
Nat256.AddDWord(PInv, z, 0);
}
}
