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 сначала называется, чтобы получить идентификаторы, и затем полином создается относительно этих идентификаторов.
Примечание
Это, настоятельно рекомендуют использовать только содействующие звонки с уникальным нулевым представлением. В противном случае это может произойти, который, например, не отключит полиномиальное деление, или будет возвращена неправильная степень.
Обратите внимание на то, что по причинам КПД не все методы проверяют свои аргументы, даже на интерактивном уровне. В частности, это верно для многих методов доступа, преобразовывая методы и технические методы. Таким образом неправильное использование этих методов может привести к запутывающим сообщениям об ошибке.
Суперобласть
Аксиомы
Категории
Примеры
Пример 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
Параметры
|
Коммутативный звонок, т.е. область категории |
|
Одночленное упорядоченное расположение, т.е. одно из предопределенных упорядоченных расположений |
|
Полином или многочленное выражение. |
|
Список одночленов, которые представлены как списки, содержащие коэффициенты вместе с векторами экспоненты или экспонентами. |
|
Список indeterminates. |
Записи
| "характеристика" | Характеристика этой области, которая является характеристикой |
| "coeffRing" | Содействующий звонок этой области, как задано параметром |
| "ключ" | Имя области создается. |
| "один" | Нейтральный элемент w.r.t. |
| "упорядоченное расположение" | Одночленный порядок, как задано параметром |
| "нуль" | Нейтральный элемент w.r.t. |
Алгоритмы
Создать полиномы из выражений без подходящего indeterminates фиктивная переменная _dummy введен. С этой переменной возможно создать элементы из констант, которые в противном случае перестали бы работать. Недостаток этого подхода - то, что два математически равных полинома могут иметь списки переменных, которые отличаются этой фиктивной переменной.