polylib
:: resultant
Результант двух полиномов
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
polylib::resultant(f
,g
, <x
>) polylib::resultant(fexpr
,gexpr
, <inds
>, <x
>)
polylib::resultant(f, g)
возвращает результант f
и g
относительно их первой переменной.
polylib::resultant(f, g, x)
возвращает результант f
и g
относительно переменной x
.
polylib::resultant(fexpr, gexpr, inds, x)
возвращает результант fexpr
и gexpr
относительно переменной x
; fexpr
и gexpr
просматриваются как полиномы в indeterminates inds
.
Оба входных полинома должны иметь точно тот же второй и третий операнд, т.е. их переменные и содействующие звонки должны быть идентичными.
Если аргументы являются выражениями затем, они преобразованы в полиномы с помощью poly
. polylib::resultant
возвращает FAIL
, если выражения не могут быть преобразованы.
Если аргумент inds
отсутствует, входные выражения преобразованы в полиномы во всем indeterminates, происходящем в по крайней мере одном из них. Они весьма зависимо преобразованы, следовательно преобразование не может привести к двум полиномам с различными переменными, вызывающими ошибку. Смотрите Пример 1.
Если содействующий звонок является областью, он должен иметь метод "_divide"
.
Если содействующим звонком является Expr
, polylib::resultant
возвращает выражение, если названо двумя одномерными полиномами. Смотрите Пример 2.
Для полиномов по IntMod(n)
вычисление может остановиться с ошибкой, если n
не является главным.
Если вход состоит из выражений, наборы indeterminates, происходящего в выражениях, не должны совпадать:
polylib::resultant(a*x + c, c*x + d, x);
Если содействующим звонком двух одномерных входных полиномов является Expr
, результатом является выражение:
polylib::resultant(poly(x^2 -1), poly(x + 1));
|
Многочлены |
|
Выражения |
|
Неопределенный |
|
Список indeterminates |
Если вход состоит из полиномов по крайней мере в двух переменных, polylib::resultant
возвращает полином в одной переменной меньше, чем вход.
p
, q
Результант двух полиномов задан, чтобы быть детерминантом их матрицы Сильвестра. Вызов polylib::resultant
более эффективен, чем последовательные вызовы linalg::sylvester
и det
.