ssmr 1.0.0

Single-Shot Miller-Rabin primality test for small integers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

#[rustfmt::skip]
pub(crate) const INV_8 : [u8; 128] = [

    0x01, 0xAB, 0xCD, 0xB7, 0x39, 0xA3, 0xC5, 0xEF, 0xF1, 0x1B, 0x3D, 0xA7, 0x29, 0x13, 0x35, 0xDF,
    0xE1, 0x8B, 0xAD, 0x97, 0x19, 0x83, 0xA5, 0xCF, 0xD1, 0xFB, 0x1D, 0x87, 0x09, 0xF3, 0x15, 0xBF,
    0xC1, 0x6B, 0x8D, 0x77, 0xF9, 0x63, 0x85, 0xAF, 0xB1, 0xDB, 0xFD, 0x67, 0xE9, 0xD3, 0xF5, 0x9F,
    0xA1, 0x4B, 0x6D, 0x57, 0xD9, 0x43, 0x65, 0x8F, 0x91, 0xBB, 0xDD, 0x47, 0xC9, 0xB3, 0xD5, 0x7F,
    0x81, 0x2B, 0x4D, 0x37, 0xB9, 0x23, 0x45, 0x6F, 0x71, 0x9B, 0xBD, 0x27, 0xA9, 0x93, 0xB5, 0x5F,
    0x61, 0x0B, 0x2D, 0x17, 0x99, 0x03, 0x25, 0x4F, 0x51, 0x7B, 0x9D, 0x07, 0x89, 0x73, 0x95, 0x3F,
    0x41, 0xEB, 0x0D, 0xF7, 0x79, 0xE3, 0x05, 0x2F, 0x31, 0x5B, 0x7D, 0xE7, 0x69, 0x53, 0x75, 0x1F,
    0x21, 0xCB, 0xED, 0xD7, 0x59, 0xC3, 0xE5, 0x0F, 0x11, 0x3B, 0x5D, 0xC7, 0x49, 0x33, 0x55, 0xFF,

];

#[rustfmt::skip]
pub(crate) const PRIME_INV_64 : [u64;64] = [

 	   0xaaaaaaaaaaaaaaab ,   0xcccccccccccccccd ,   0x6db6db6db6db6db7 ,   0x2e8ba2e8ba2e8ba3 ,
	   0x4ec4ec4ec4ec4ec5 ,   0xf0f0f0f0f0f0f0f1 ,   0x86bca1af286bca1b ,   0xd37a6f4de9bd37a7 ,
	   0x34f72c234f72c235 ,   0xef7bdef7bdef7bdf ,   0x14c1bacf914c1bad ,   0x8f9c18f9c18f9c19 ,
	   0x82fa0be82fa0be83 ,   0x51b3bea3677d46cf ,   0x21cfb2b78c13521d ,   0xcbeea4e1a08ad8f3 ,
	   0x4fbcda3ac10c9715 ,   0xf0b7672a07a44c6b ,   0x193d4bb7e327a977 ,   0x7e3f1f8fc7e3f1f9 ,
	   0x9b8b577e613716af ,   0xa3784a062b2e43db ,   0xf47e8fd1fa3f47e9 ,   0xa3a0fd5c5f02a3a1 ,
	   0x3a4c0a237c32b16d ,   0xdab7ec1dd3431b57 ,   0x77a04c8f8d28ac43 ,   0xa6c0964fda6c0965 ,
	   0x90fdbc090fdbc091 ,   0x7efdfbf7efdfbf7f ,    0x3e88cb3c9484e2b ,   0xe21a291c077975b9 ,
	   0x3aef6ca970586723 ,   0xdf5b0f768ce2cabd ,   0x6fe4dfc9bf937f27 ,   0x5b4fe5e92c0685b5 ,
	   0x1f693a1c451ab30b ,   0x8d07aa27db35a717 ,   0x882383b30d516325 ,   0xed6866f8d962ae7b ,
	   0x3454dca410f8ed9d ,   0x1d7ca632ee936f3f ,   0x70bf015390948f41 ,   0xc96bdb9d3d137e0d ,
	   0x2697cc8aef46c0f7 ,   0xc0e8f2a76e68575b ,   0x687763dfdb43bb1f ,   0x1b10ea929ba144cb ,
	   0x1d10c4c0478bbced ,   0x63fb9aeb1fdcd759 ,   0x64afaa4f437b2e0f ,   0xf010fef010fef011 ,
	   0x28cbfbeb9a020a33 ,   0xff00ff00ff00ff01 ,   0xd624fd1470e99cb7 ,   0x8fb3ddbd6205b5c5 ,
	   0xd57da36ca27acdef ,   0xee70c03b25e4463d ,   0xc5b1a6b80749cb29 ,   0x47768073c9b97113 ,
	   0x2591e94884ce32ad ,   0xf02806abc74be1fb ,   0x7ec3e8f3a7198487 ,   0x58550f8a39409d09 ,
	  ];