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
сначала называется, чтобы получить идентификаторы, и затем полином создается относительно этих идентификаторов.
Это, настоятельно рекомендуют использовать только содействующие звонки с уникальным нулевым представлением. В противном случае это может произойти, который, например, не отключит полиномиальное деление, или будет возвращена неправильная степень.
Обратите внимание на то, что по причинам эффективности не все методы проверяют свои аргументы, даже на интерактивном уровне. В частности, это верно для многих методов доступа, преобразовывая методы и технические методы. Таким образом неправильное использование этих методов может привести к запутывающим сообщениям об ошибке.
Cat::Polynomial
(R)
Следующий вызов создает полиномиальную область по 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
введена. С этой переменной возможно создать элементы из констант, которые в противном случае перестали бы работать. Недостаток этого подхода - то, что два математически равных полинома могут иметь списки переменных, которые отличаются этой фиктивной переменной.