numlib:: checkPrimalityCertificate

Протестируйте сертификат простоты чисел

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

numlib::checkPrimalityCertificate(certificate)

Описание

numlib::checkPrimalityCertificate тестирует сертификат о простоте чисел, возвращенной numlib::proveprime. Для больших простых чисел функция numlib::proveprime генерирует сертификаты, которые обеспечивают все данные, в которых вы нуждаетесь для доказательства простоты чисел номера алгоритмом Аткина Голдвассера Килиана Морайна. Смотрите Пример 1.

Для маленьких простых чисел numlib::proveprime не возвращает сертификат о простоте чисел. Вместо этого это возвращает TRUE. Для неглавных чисел numlib::proveprime возвращает FALSE. В обоих случаях вы не должны использовать numlib::checkPrimalityCertificate.

Примеры

Пример 1

Используйте функцию numlib::proveprime, чтобы проверять простоту чисел номера 1299709. Функция возвращает следующую последовательность списков. Эта последовательность является сертификатом о простоте чисел:

certificate := numlib::proveprime(1299709)

Сертификат обеспечивает все данные, в которых вы нуждаетесь для доказательства простоты чисел 1299709 алгоритмом Аткина Голдвассера Килиана Морайна. Можно заменить числами в алгоритм и проверить простоту чисел номера. Также можно проверить сертификат при помощи функции numlib::checkPrimalityCertificate:

numlib::checkPrimalityCertificate(certificate)

Параметры

certificate

Список или последовательность списков, возвращенных numlib::proveprime

Возвращаемые значения

TRUE или FALSE

Смотрите также

Функции MuPAD

Для просмотра документации необходимо авторизоваться на сайте