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 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:
|
Основание Gröbner идеала: список. |
Список формы [d, S, M]
, где d
целое число, равное размерности идеала, сгенерированного G
S
самый большой строго независимый набор переменных и M
набор, состоящий из всех максимальных строго независимых наборов переменных или кусочного, состоящего из таких списков.
[1] Кредель Х. и В. Вейспфеннинг, “Вычислительная размерность и независимые наборы для полиномиальных идеалов”, объем JSC 6 (1988), 231-247.