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 пакетом.

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

Dom::BaseDomain

Категории

Cat::BaseCategory

Примеры

Пример 1

Мы задаем 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])

Параметры

n

Положительное целое число

w1, …

Числовые выражения

o1, …

Допустимые аргументы к Dom::MonomOrdering

params

Последовательность, допустимая как последовательность аргументов к Dom::Matrix().

Методы

развернуть все

Математические методы

func_call(o, l1, l2)

Длины l1 и l2 не должен превышать продолжительность порядка o. Если l1 или l2 слишком коротко, необходимое количество обнуляет, добавлен.

Методы доступа

ordertype(o)

Если o равняется Dom::MonomOrdering(someIdentifier(params)), затем преобразование someIdentifier в строку дает тип порядка o.

orderlength(o)

nops(o)

block(o, i)

blocktype(o, i)

blocklength(o, i)

Методы преобразования

expr(o)

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

Функции MuPAD

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