public static void Prime_Load_From_File()
{
//this example shows how to load prime store from file
//Prime itself is quick and small, but it is slow to generate large prime
//PrimeFile will load prime number upto 2,147,483,647
//using PrimeFile need prime.dat file. file size is 128MB (zip file 70MB)
//you can download prime.dat from http://codeplex.com/chaow
//not allow abort in this code
Worker.AbortWait();
//get primeFile
var filePath = AppDomain.CurrentDomain.BaseDirectory + "prime.dat";
if (!File.Exists(filePath))
{
Console.WriteLine("you need file {0} to run PrimeFile", filePath);
return;
}
var primeFile = new PrimeFile(filePath);
var prime = new Prime(primeFile);
//create integer
var a = int.MaxValue;
var b = a - 2;
//show result
Console.WriteLine("Is {0} a prime number?", a);
Console.WriteLine(prime.Contains(a));
Console.WriteLine();
Console.WriteLine("Is {0} a prime number?", b);
Console.WriteLine(prime.Contains(b));
}
