irreducible

Протестируйте неприводимость полинома

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

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

Синтаксис

irreducible(p)

Описание

irreducible(p) тестирует, если полиномиальный p неприводим.

Полином неприводим по полю k, если p является непостоянным и не является продуктом двух непостоянных полиномов в.

irreducible возвращает TRUE, если полином неприводим по полю, подразумеваемому его коэффициентами. В противном случае FALSE возвращен. Смотрите функциональный factor для получения дополнительной информации о содействующем поле, которое принято неявно.

Полином может быть любой (многомерным) полиномом по rationals, (многомерным) полиномом по полю (такому как кольцо классов вычетов IntMod(n) с простым числом n) или одномерным полиномом по алгебраическому расширению (см. Dom::AlgebraicExtension).

Внутренне, многочленное выражение преобразовано в полином типа DOM_POLY, прежде чем неприводимость будет протестирована.

Примеры

Пример 1

Со следующим вызовом мы тестируем, если многочленное выражение x 2 - 2 неприводимо. Неявно, содействующее поле принято, чтобы состоять из рациональных чисел:

irreducible(x^2 - 2)

factor(x^2 - 2)

Начиная с x 2 - 2 фактора по полевому расширению rationals, содержащего радикала, следующий тест неприводимости отрицателен:

irreducible(sqrt(2)*(x^2 - 2))

factor(sqrt(2)*(x^2 - 2))

Следующие вызовы используют полиномы типа DOM_POLY. Содействующее поле дано явным образом полиномами:

irreducible(poly(6*x^3 + 4*x^2 + 2*x - 4, IntMod(13)))

factor(poly(6*x^3 + 4*x^2 + 2*x - 4, IntMod(13)))

irreducible(poly(3*x^2 + 5*x + 2, IntMod(13)))

factor(poly(3*x^2 + 5*x + 2, IntMod(13)))

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

TRUE или FALSE.

Перегруженный

p

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

Функции MuPAD