アップグレード情報：

NumberTheory`PrimeQ`

NumberTheory`PrimeQ`の機能すべてが，新規に作成された素数証明パッケージで利用できるようになった．

新しい素数証明パッケージの機能を利用するためには，PrimalityProving`をロードする：

Version 5.2

オプションは文字列として与える：

Version 5.2