WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

ProvablePrimeQ[n]

n が素数であることを証明できればTrueを，それ以外の場合はFalseを返す．

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
オプション  
Certificate  
PrimeQMessages  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
PrimalityProving`
PrimalityProving`

ProvablePrimeQ

ProvablePrimeQ[n]

n が素数であることを証明できればTrueを，それ以外の場合はFalseを返す．

詳細とオプション

  • ProvablePrimeQを使うためには，まず素数証明パッケージをロードしなくてはならない．それにはNeeds["PrimalityProving`"]を実行する必要がある．
  • ProvablePrimeQ[n]がTrueを返すならば，n はプラットの素数証明書，あるいはAtkin–Morainの素数証明に基づいた素数である．
  • PrimeQは桁違いに速いので， ProvablePrimeQをPrimeQの代用として使うべきではない．代りに必要な場合は，PrimeQの結果の証明にProvablePrimeQを使うとよい．
  • 次のオプションを使うことができる：
  • "SmallPrime"1050Atkin–Morainテストを使用する下限
    "Certificate"False証明書を出力するかどうか
    "PollardPTest"Automaticポラード(Pollard)の メソッドを使うかどうか
    "PollardRhoTest"Automaticポラードの メソッドを使うかどうか
    "TrialDivisionLimit"Automatic試行割算で使う素数の数
    "PrimeQMessages"False処理状況を監視するかどうか

例題

すべて開く すべて閉じる

例  (1)

Wolfram Language code: Needs["PrimalityProving`"]

PrimeQにより1093が素数であることが分かる：

Wolfram Language code: PrimeQ[1093]

ProvablePrimeQでも同じ結果であるが，証明書が生成される：

Wolfram Language code: ProvablePrimeQ[1093]

スコープ  (2)

Wolfram Language code: Needs["PrimalityProving`"]

ProvablePrimeQは任意の大きい数にも使える：

Wolfram Language code: ProvablePrimeQ[10^300 + 3]
Wolfram Language code: Needs["PrimalityProving`"]

ProvablePrimeQは自動的にリストに縫い込まれる：

Wolfram Language code: ProvablePrimeQ[{3, 7, 9, 13}]

オプション  (2)

Certificate  (1)

Wolfram Language code: Needs["PrimalityProving`"]

オプション"Certificate"->Trueを使うと，直接証明書を見ることができる：

Wolfram Language code: ProvablePrimeQ[1093, "Certificate" -> True]

PrimeQMessages  (1)

Wolfram Language code: Needs["PrimalityProving`"]

ランダムな素数：

Wolfram Language code: p = RandomPrime[{10^60, 10^61}]

PrimeQCertificateで，進行状況のメッセージが出力される：

Wolfram Language code: ProvablePrimeQ[p, "PrimeQMessages" -> True]

特性と関係  (1)

Wolfram Language code: Needs["PrimalityProving`"]

ランダムな素数である：

Wolfram Language code: p = RandomPrime[{10^9, 10^12}]

ProvablePrimeQが結果を返したら，PrimeQCertificateを使って証明書を出力することができる：

Wolfram Language code: ProvablePrimeQ[p]
Wolfram Language code: PrimeQCertificate[p]

"Certificate"->Trueとすると，ProvablePrimeQはAtkin–Morain素数検定を繰り返す：

Wolfram Language code: ProvablePrimeQ[p, "Certificate" -> True]

考えられる問題  (1)

Wolfram Language code: Needs["PrimalityProving`"]

，，に対しては，証明書は生成されない：

Wolfram Language code: ProvablePrimeQ[0]