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.