add Miller-Rabin test
add some methods