groebner::stronglyIndependentSets

Строго независимый набор переменных

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

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

Синтаксис

groebner::stronglyIndependentSets(G)

Описание

groebner::stronglyIndependentSets(G) вычисляет строго независимый набор переменных по модулю идеал, сгенерированный G.

Набор переменных S строго независим по модулю идеальный I, если никакой ведущий термин элемента основания Gröbner I не состоит полностью из элементов S. Набор максимально строго независим, если никакое соответствующее надмножество его не строго независимо. Два максимально строго независимых набора могут иметь различный размер.

groebner::stronglyIndependentSets принимает основы Gröbner в формате, возвращенном groebner::gbasis.

Примеры

Пример 1

Следующий пример был дан Мёллером и Морой в 1 983.

G:=map([X0^8*X2, X0*X3, X1^8*X3, X1^7*X3^2, X1^6*X3^3,     
  X1^5*X3^4, X1^4*X3^5, X1^3*X3^6, X1^2*X3^7, X1*X3^8],
  poly, [X3, X2, X1, X0]):
groebner::stronglyIndependentSets(G)

delete G:

Параметры

G

Основание Gröbner идеала: список.

Возвращаемые значения

Список формы [d, S, M], где d целое число, равное размерности идеала, сгенерированного GS самый большой строго независимый набор переменных и M набор, состоящий из всех максимальных строго независимых наборов переменных или кусочного, состоящего из таких списков.

Ссылки

[1] Кредель Х. и В. Вейспфеннинг, “Вычислительная размерность и независимые наборы для полиномиальных идеалов”, объем JSC 6 (1988), 231-247.

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

Функции MuPAD

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