public void GetPrimeCapacityOfAtLeast_2() { for (var i = 2; i < 1000000; i++) { var cap = IntUtils.GetPrimeCapacityOfAtLeast(i); Aver.IsTrue(cap >= i); Aver.IsTrue(cap < i * 2); Aver.IsTrue(IntUtils.IsPrime(cap)); } }
public void GetPrimeCapacityOfAtLeast_1() { Aver.AreEqual(7, IntUtils.GetPrimeCapacityOfAtLeast(4)); Aver.AreEqual(59, IntUtils.GetPrimeCapacityOfAtLeast(48)); Aver.AreEqual(71, IntUtils.GetPrimeCapacityOfAtLeast(64)); Aver.AreEqual(131, IntUtils.GetPrimeCapacityOfAtLeast(128)); Aver.AreEqual(131, IntUtils.GetPrimeCapacityOfAtLeast(129)); Aver.AreEqual(131, IntUtils.GetPrimeCapacityOfAtLeast(130)); Aver.AreEqual(131, IntUtils.GetPrimeCapacityOfAtLeast(131)); Aver.AreEqual(163, IntUtils.GetPrimeCapacityOfAtLeast(132)); Aver.AreEqual(672827, IntUtils.GetPrimeCapacityOfAtLeast(672800)); Aver.AreEqual(334231259, IntUtils.GetPrimeCapacityOfAtLeast(334231259)); Aver.AreEqual(334231291, IntUtils.GetPrimeCapacityOfAtLeast(334231260)); }