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