Dom:: Polynomial

Области полиномов в произвольно многих indeterminates

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

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

Синтаксис

Доменное создание

Dom::Polynomial(<R, <Order>>)

Создание элемента

Dom::PolynomialRorder(p)
Dom::PolynomialRorder(lm, v)

Описание

Dom::Polynomial(R, ..) создает область полиномов в произвольно многих indeterminates по коммутативному кольцевому R в распределенном представлении.

Dom::Polynomial представляет полиномы в произвольно многих indeterminates по произвольным коммутативным звонкам.

Это - просто фронтэнд к доменному Dom::DistributedPolynomial([],R,Order), и таким образом все обычные алгебраические и арифметические полиномиальные операции реализованы. См. документацию для Dom::DistributedPolynomial для списка методов.

Dom::Polynomial(R, Order) создает область полиномов в произвольно многих indeterminates по области категории Cat::CommutativeRing в разреженном распределенном представлении относительно одночлена, заказывая Order.

Если Dom::Polynomial называется без какого-либо аргумента, полиномиальная область по доменному Dom::ExpressionField(normal) относительно лексикографического одночленного упорядоченного расположения создается.

Примечание

Только коммутативные содействующие звонки типа DOM_DOMAIN, которые наследовались Dom::BaseDomain, позволены. Если R будет иметь тип DOM_DOMAIN, но не наследуется Dom::BaseDomain, доменный Dom::ExpressionField, ТО (normal) будет использоваться вместо этого.

Только идентификаторы должны использоваться в качестве полинома indeterminates, с тех пор при создании нового элемента из полинома или многочленного выражения, которым функциональный indets сначала называется, чтобы получить идентификаторы, и затем полином создается относительно этих идентификаторов.

Примечание

Это, настоятельно рекомендуют использовать только содействующие звонки с уникальным нулевым представлением. В противном случае это может произойти, который, например, не отключит полиномиальное деление, или будет возвращена неправильная степень.

Обратите внимание на то, что по причинам эффективности не все методы проверяют свои аргументы, даже на интерактивном уровне. В частности, это верно для многих методов доступа, преобразовывая методы и технические методы. Таким образом неправильное использование этих методов может привести к запутывающим сообщениям об ошибке.

Суперобласть

Dom::DistributedPolynomial

Аксиомы

Ax::indetElements

Категории

Cat::Polynomial (R)

Примеры

Пример 1

Следующий вызов создает полиномиальную область по rationals.

PR:=Dom::Polynomial(Dom::Rational)

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

Довольно легко создать элементы этой области, как, например,

a := PR(x*(2*x + y^3) - 7/2)

b := PR(x*(2*t + z^3) - 6)

c := a^2-b/3+3

Параметры

R

Коммутативный звонок, т.е. область категории Cat::CommutativeRing. Значение по умолчанию: Dom::ExpressionField(normal).

Order

Одночленное упорядоченное расположение, т.е. одно из предопределенных упорядоченных расположений LexOrder, DegreeOrder, или DegInvLexOrder или элемент доменного Dom::MonomOrdering. Значение по умолчанию: LexOrder.

p

Полином или многочленное выражение.

lm

Список одночленов, которые представлены как списки, содержащие коэффициенты вместе с векторами экспоненты или экспонентами.

v

Список indeterminates.

Записи

"характеристика"

Характеристика этой области, которая является характеристикой R.

"coeffRing"

Содействующий звонок этой области, как задано параметром R.

"ключ"

Имя области создается.

"один"

Нейтральный элемент w.r.t. "_mult", который является R::one.

"упорядоченное расположение"

Одночленный порядок, как задано параметром Order.

"нуль"

Нейтральный элемент w.r.t. "_plus", который является R::zero.

Алгоритмы

Чтобы создать полиномы из выражений без подходящего indeterminates, фиктивная переменная _dummy введена. С этой переменной возможно создать элементы из констант, которые в противном случае перестали бы работать. Недостаток этого подхода - то, что два математически равных полинома могут иметь списки переменных, которые отличаются этой фиктивной переменной.

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

Области MuPAD

Для просмотра документации необходимо авторизоваться на сайте