素数的判定，miller-rabin，sol-str,leman,fermat等。都可以运行，下完自后自己稍微改改就可以用。-Primes judgment, miller-rabin, sol-str, leman, fermat so on. Can run is finished after their own little changed since it can be used.