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 не является главным.
Примеры
Пример 1
Если вход состоит из выражений, наборы indeterminates, происходящего в выражениях, не должны совпадать:
polylib::resultant(a*x + c, c*x + d, x);
Пример 2
Если содействующим звонком двух одномерных входных полиномов является Expr, результатом является выражение:
polylib::resultant(poly(x^2 -1), poly(x + 1));
Параметры
|
Многочлены |
|
Выражения |
|
Неопределенный |
|
Список indeterminates |
Возвращаемые значения
Если вход состоит из полиномов по крайней мере в двух переменных, polylib::resultant возвращает полином в одной переменной меньше, чем вход.
Перегруженный
pQ
Алгоритмы
Результант двух полиномов задан, чтобы быть определителем их матрицы Сильвестра. Вызов polylib::resultant более эффективно, чем последовательные вызовы linalg::sylvester и det.