 |
PrimeQCertificate
PrimeQCertificate[n]
n が素数である，あるいは n が合成数であるという証明書を返す．
詳細
を使うためには，まず素数証明パッケージをロードしなくてはならない．それにはNeeds["PrimalityProving`"]を実行する必要がある．
では，素数性に対してプラットおよびAtkin-Morainの証明書を使用する．- 合成性の証明書は
で
，あるいは
という3つの整数のリストである． - 素数
は常に 
を満足する．証明書
は，
であることを示すことにより n が合成数であることを証明するために使うことができる． - 素数
について，平方が
となるような任意の数 
は，
を満足しなければならない．証明書
は，
であり 
であることを示すことにより n が合成数であることを証明するために使うことができる． - 素数証明書は，1つ以上の
より小さい数が素数であれば 
も素数であるということを証明する証明書の回帰リストで構成される． 
にはProvablePrimeQと同じオプションがある．
