public static void Reduce(uint[] xx, uint[] z)
{
ulong y = Nat160.Mul33Add(21389u, xx, 5, xx, 0, z, 0);
if (Nat160.Mul33DWordAdd(21389u, y, z, 0) != 0u || (z[4] == 4294967295u && Nat160.Gte(z, SecP160R2Field.P)))
{
Nat.Add33To(5, 21389u, z);
}
}
public static void Reduce(uint[] xx, uint[] z)
{
ulong y = Nat160.Mul33Add(21389u, xx, 5, xx, 0, z, 0);
if (Nat160.Mul33DWordAdd(21389u, y, z, 0) != 0 || (z[4] == uint.MaxValue && Nat160.Gte(z, P)))
{
Nat.Add33To(5, 21389u, z);
}
}
public static void Reduce(uint[] xx, uint[] z)
{
ulong y = Nat160.Mul33Add(0x538d, xx, 5, xx, 0, z, 0);
if ((Nat160.Mul33DWordAdd(0x538d, y, z, 0) != 0) || ((z[4] == uint.MaxValue) && Nat160.Gte(z, P)))
{
Nat.Add33To(5, 0x538d, z);
}
}
public static void Reduce(uint[] xx, uint[] z)
{
ulong cc = Nat160.Mul33Add(PInv33, xx, 5, xx, 0, z, 0);
uint c = Nat160.Mul33DWordAdd(PInv33, cc, z, 0);
Debug.Assert(c == 0 || c == 1);
if (c != 0 || (z[4] == P4 && Nat160.Gte(z, P)))
{
Nat.Add33To(5, PInv33, z);
}
}
