polylib
::splitfield
Поле Splitting полинома
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.
polylib::splitfield(p
)
Учитывая полиномиальный p по полю K в одном неопределенном X, polylib::splitfield(p)
возвращает простое полевое расширение F K и некоторых элементов α 1, …, α n F, такого, который партнер p, и таким образом, что F является самым маленьким расширением K, содержащего весь i α.
Если вход является многочленным выражением, как в Примере 1, это обработано как полином по rationals.
Полиномиальный p
не должно быть неприводимым.
Имя для примитивного элемента полевого расширения сгенерировано с помощью genident
и поэтому отличается в каждом вызове polylib::splitfield
, даже если тот же полином передается.
MuPAD® должен смочь учесть полиномы по содействующему полю p
.
Содействующее поле должно быть совершенным. В противном случае это может произойти тот polylib::splitfield
не завершает работу.
Мы примыкаем к rationals:
polylib::splitfield(x^2+1)
Вызов polylib::splitfield
становится более интересным для полиномов для степени по крайней мере 3:
polylib::splitfield(x^3-2)
В этом примере мы перерабатываем поле одномерных рациональных функций (поле частных одномерных полиномов) по rationals:
R:=Dom::DistributedPolynomial([x], Dom::Rational): F:=Dom::Fraction(R): f:=poly(y^3-x,[y],F): polylib::splitfield(f)
|
Одномерный полином по полю или одномерное многочленное выражение |
polylib::splitfield
возвращает список двух операндов: первый является разделяющим полем полинома, т.е. Dom::AlgebraicExtension
из содействующего звонка; второй является списком всех корней полинома в разделяющем поле, каждый корень, сопровождаемый его кратностью.