public void RoundDivTest()
{
Random random = new Random(1234);
for (int i = 0; i <= 50000; i++)
{
int bits1 = random.Next(BigUInt <Pow2.N32> .Bits / 2 + 1, BigUInt <Pow2.N32> .Bits + 1);
int bits2 = random.Next(BigUInt <Pow2.N32> .Bits - bits1);
UInt32[] value1 = UIntUtil.Random(random, BigUInt <Pow2.N32> .Length, bits1);
UInt32[] value2 = UIntUtil.Random(random, BigUInt <Pow2.N32> .Length, bits2);
BigUInt <Pow2.N32> v1 = new BigUInt <Pow2.N32>(value1, enable_clone: false);
BigUInt <Pow2.N32> v2 = new BigUInt <Pow2.N32>(value2, enable_clone: false);
BigInteger bi1 = v1, bi2 = v2;
if (v2.IsZero)
{
continue;
}
BigUInt <Pow2.N32> vdiv = BigUInt <Pow2.N32> .RoundDiv(v1, v2);
BigInteger bidiv = bi1 / bi2, birem = bi1 % bi2;
if (birem * 2 >= bi2)
{
bidiv++;
}
Assert.AreEqual(bidiv, vdiv);
}
}
