Exponenta Banner
exponenta event banner

groebner::spoly

S-полином двух полиномов

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

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

Синтаксис

groebner::spoly(p1, p2, <order>)

Описание

groebner::spoly(p1, p2) вычисляет S-полином полиномов p1 и p2.

Правила, установленные во введении в groebner относительно полиномиальных типов и упорядоченного расположения, применяются.

Полиномы должны иметь тот же тип. В частности, не смешивайте полиномы, созданные через poly и многочленные выражения!

Примеры

Пример 1

Полиномы

p1 := poly(x^2 - x + 2*y^2, [x, y]):
p2 := poly(x + 2*y - 1, [x, y]):

сгенерируйте следующий S-полином относительно лексикографического упорядоченного расположения:

groebner::spoly(p1, p2, LexOrder)

delete p1, p2:

Параметры

p1, p2

Список или набор полиномов или многочленные выражения того же типа. Коэффициенты в этих полиномах и многочленных выражениях могут быть произвольными арифметическими выражениями.

order

Один из идентификаторов DegInvLexOrder, DegreeOrder, и LexOrder, или пользовательское упорядоченное расположение термина типа Dom::MonomOrdering. Упорядоченным расположением по умолчанию является DegInvLexOrder.

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

Полином того же типа как входные полиномы. Если многочленные выражения используются в качестве входа, то многочленное выражение возвращено.

Алгоритмы

S-полином двух полиномов p 1, p 2 задан, чтобы быть

,

где lterm и lmonomial используются в том же смысле в качестве функций MuPAD® того же имени. Эта формула создается таким образом что ведущие условия отмены на двух слагаемых.

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

Функции MuPAD

Документация Symbolic Math Toolbox
Поддержка