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)))
Параметры
|
Полином типа |
Перегруженный
p
Смотрите также
Функции MuPAD
content|factor|gcd|icontent|ifactor|igcd|ilcm|isprime|lcm|poly|polylib::divisors|polylib::primpart|polylib::sqrfree