Dom
::MonomOrdering
Одночленные упорядоченные расположения
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразуют Notebook MuPAD в Live скрипты MATLAB.
Dom::MonomOrdering(Lex(n
)) Dom::MonomOrdering(RevLex(n
)) Dom::MonomOrdering(DegLex(n
)) Dom::MonomOrdering(DegRevLex(n
)) Dom::MonomOrdering(DegInvLex(n
)) Dom::MonomOrdering(WeightedLex(w1, …,wn
)) Dom::MonomOrdering(WeightedDegLex(w1, …,wn
)) Dom::MonomOrdering(WeightedDegRevLex(w1, …,wn
)) Dom::MonomOrdering(WeightedRevLex(w1, …,wn
)) Dom::MonomOrdering(Block(o1, …
)) Dom::MonomOrdering(Matrix(params
))
Dom::MonomOrdering
представляет набор всех возможных одночленных упорядоченных расположений. Одночленное упорядоченное расположение является хорошо заказывающим из набора всего k - кортежи неотрицательных целых чисел для некоторого k.
В MuPAD® одночленное упорядоченное расположение реализовано как функция, которая, когда применено два списка неотрицательных целых чисел, возвращает -1
, 0, или
1
если первый список соответственно меньше, чем, равен или больше, чем второй список. Каждое упорядоченное расположение может только сравнить списки одной фиксированной длины, названной ее ее продолжительностью порядка. Поскольку списки на рассмотрении будут векторами экспоненты в большинстве случаев, их длина также упоминается как количество indeterminates.
Одночленные упорядоченные расположения используются в алгебраической геометрии в сравнении условий и в полиномиальном звонке. Начиная с Dom::MonomOrdering
работает над векторами экспоненты [α 1, …, α n] и [β 1, …, β n], degreevec
должен быть применен к условиям, которые будут сравнены прежде, чем применить Dom::MonomOrdering
.
Элементы Dom::MonomOrdering
может использоваться в качестве аргументов для lcoeff
, lmonomial
, lterm
, и tcoeff
а также для функций groebner пакета для того, чтобы задать одночлен, заказывающий, чтобы быть рассмотренным.
Одночленные упорядоченные расположения создаются путем вызова Dom::MonomOrdering(someIdentifier(parameters))
, где someIdentifier
один из определенного набора предопределенных идентификаторов, как утверждено ниже. Преобразование someIdentifier
в строку дает тип порядка одночленного упорядоченного расположения.
Dom::MonomOrdering(Lex(n))
создает лексикографический порядок на n indeterminates.
Dom::MonomOrdering(RevLex(n))
создает противоположный лексикографический порядок на n indeterminates, т.е. Dom::MonomOrdering(RevLex(n))([a1,...,an])
= Dom::MonomOrdering(Lex(n))([an,...,a1])
.
Dom::MonomOrdering(DegLex(n))
создает порядок степени на n indeterminates с лексикографическим порядком, используемым в тай-брейке.
Dom::MonomOrdering(DegRevLex(n))
создает порядок степени на n indeterminates с противоположным лексикографическим порядком, используемым в тай-брейке.
Dom::MonomOrdering(DegInvLex(n))
создает порядок степени на n indeterminates, с тай-брейком, являющимся напротив лексикографического порядка.
Dom::MonomOrdering(Weighted...(w1,...,wn))
возвращает взвешенный порядок степени с весами w 1 через w n. Слово после слова Weighted
задает используемый тай-брейк. Обратите внимание на то, что MuPAD использует обычный порядок степени в качестве первого тай-брейка.
Dom::MonomOrdering(Matrix(params))
создает матричный порядок, с матрицей порядка, заданной Dom::Matrix
()(params)
.
Dom::MonomOrdering(Block(o1, ..., on))
или, эквивалентно, Dom::MonomOrdering
([o1, ..., on])
, создает порядок блока, таким образом что Dom::MonomOrdering(o1)
используется на первом indeterminates, затем Dom::MonomOrdering(o2)
используется в качестве тай-брейка на следующем indeterminates и т.д.
Блокируйтесь порядки могут быть вложены, т.е. блоки могут быть порядками блока, также.
Векторы веса с отрицательными записями и матрицами порядка не задают хорошо-упорядоченные-расположения в целом. Можно ввести такие упорядоченные расположения, но это может доставить неприятности, например, чтобы использовать их с groebner пакетом.
Мы задаем ORD
путем предписания, чтобы списки [a, b, c] были упорядочены согласно их взвешенным степеням 5 a + 2 b + π c. Для списков с равной взвешенной степенью невзвешенная степень a + b + c используется в качестве тай-брейка. Наконец, лексикографический порядок решает (на самом деле, этот последний шаг не необходим, потому что π иррационален).
ORD:=Dom::MonomOrdering(WeightedDegLex(5, 2, PI))
Относительно ORD
, [1, 6, 1] меньше, чем
[2, 1, 3]
:
ORD([1,6,1], [2,1,3])
|
Положительное целое число |
|
Числовые выражения |
|
Допустимые аргументы к |
|
Последовательность, допустимая как последовательность аргументов к |