polylib:: subresultant

Подрезультанты двух полиномов

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

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

Синтаксис

polylib::subresultant(f, g, <x>, <i>)
polylib::subresultant(fexpr, gexpr, <x>, <i>)

Описание

polylib::subresultant(f, g) возвращает таблицу подрезультантов полиномов f и g относительно их первой переменной.

polylib::subresultant(f, g, i) возвращает i th подрезультант полиномов f и g относительно их первой переменной.

polylib::subresultant(f, g, x) возвращает таблицу подрезультантов полиномов f и g относительно переменной x.

polylib::subresultant(f, g, x, i) возвращает i th подрезультант полиномов f и g относительно переменной x.

polylib::subresultant(fexpr, gexpr, x) возвращает таблицу подрезультантов многочленных выражений fexpr и gexpr относительно переменной x.

polylib::subresultant(fexpr, gexpr, x, i) возвращает i th подрезультант многочленных выражений fexpr и gexpr относительно переменной x.

polylib::subresultant возвращает конкретный подрезультант или таблицу всех подрезультантов.

Переменные и содействующие звонки обоих входных полиномов должны быть идентичными.

0th подрезультант является результантом двух полиномов. Смотрите Пример 1

Если вы не задаете переменную при вычислении подрезультантов двух полиномов, polylib::subresultant возвращает подрезультанты полиномов относительно их первой переменной. Смотрите Пример 2.

Если вы вызываете polylib::subresultant для многочленных выражений, необходимо задать переменную, относительно которой вы хотите вычислить подрезультанты. MuPAD® использует функцию poly, чтобы преобразовать многочленные выражения в полиномы с заданной переменной. Система также преобразовывает вычисленные подрезультанты назад в многочленные выражения.

Если poly не может преобразовать выражения в полиномы, polylib::subresultant возвращает FAIL.

Если степень полиномиального f является меньше, чем степень полиномиального g, функция polylib::subresultant обменивается f и g.

Если содействующий звонок является областью, он должен иметь метод _divide.

Примеры

Пример 1

Если вы не задаете, какой подрезультант возвратиться, polylib::subresultant возвращает таблицу всех подрезультантов:

f := poly(3*x^4 + 3*x^3 + 4):
g := poly(x^4 + x^3 + x^2 + x + 1):
polylib::subresultant(f, g)

Можно задать количество подрезультанта, который вы хотите вычислить. Например, вычислите 0th подрезультант полиномов f и g:

polylib::subresultant(f, g, 0)

0th подрезультант является также результантом полиномов:

polylib::resultant(f, g)

Пример 2

polylib::subresultant обрабатывает многомерные полиномы и многочленные выражения. Когда вы вычисляете подрезультанты многомерных полиномов или многочленных выражений, можно задать переменную, относительно которой вы хотите вычислить подрезультанты:

f := poly(3*x^4*y + 4*z^2):
g := poly(x^4 + x^3*y^3*z^3):
polylib::subresultant(f, g, z)

Для многомерных полиномов, задавая переменную не необходимо. Если вы не задаете переменную при вычислении подрезультантов двух полиномов, polylib::subresultant возвращает подрезультанты полиномов относительно их первой переменной:

f := poly(3*x^4*y + 4*z^2):
g := poly(x^4 + x^3*y^3*z^3):
polylib::subresultant(f, g)

Если вы вызываете polylib::subresultant для многочленных выражений, необходимо задать переменную, относительно которой вы хотите вычислить подрезультанты:

f := 3*x^4*y + 4*z^2:
g := x^4 + x^3*y^3*z^3:
polylib::subresultant(f, g)
Error: Missing variable. [polylib::subresultant]
polylib::subresultant(f, g, x)

Параметры

f, g

Полиномы по Expr (звонок произвольных выражений MuPAD)

fexpr, gexpr

Многочленные выражения

x

Неопределенное

i

Неотрицательное целое число

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

Подрезультант двух полиномов (или многочленные выражения) или таблица подрезультантов.

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

p, q

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

Функции MuPAD