PrimalityProving`

PrimeQCertificateCheck

cert が n の素数性あるいは合成性の有効な証明書であればTrueを，そうでない場合はFalseを返す．

詳細とオプション

PrimeQCertificateCheckを使うためには，まず素数証明パッケージをロードしなくてはならない．それにはNeeds["PrimalityProving`"]を実行する必要がある．
PrimeQCertificateCheckは cert が素数の証明書か合成数の証明書かを判別し，その証明書を使ってそのアサーションを証明する．
証明書 cert は整数 n と合致しなければならない．

素数証明書：

検証する：

合成数証明書：

検証する：

証明書はPrimeQCertificateで生成されたものである必要はない．下の証明書は3837523についてPrimeQCertificateで生成されたものである：

3837523が合成数であることを断定する別の証明書：

検証する：

トップへ