groebner:: dimension

Размерность аффинного разнообразия сгенерирована полиномами

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

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

Синтаксис

groebner::dimension(polys, <order>)

Описание

groebner::dimension(polys) вычисляет размерность аффинного разнообразия, сгенерированного полиномами в наборе или списке polys.

Правила, установленные во введении в groebner пакет относительно полиномиальных типов и упорядоченного расположения, применяются.

Полиномы в списке polys должны все иметь тот же тип. В частности, не смешивайте полиномы, созданные через poly и многочленные выражения!

Примеры

Пример 1

Пример из книги Cox, Мало и О'Ши (см. ниже):

groebner::dimension([y^2*z^3, x^5*z^4, x^2*y*z^2])

Параметры

polys

Список или набор полиномов или многочленные выражения того же типа. Коэффициенты в этих полиномах и многочленных выражениях могут быть произвольными арифметическими выражениями.

order

Один из идентификаторов DegInvLexOrder, DegreeOrder, и LexOrder или пользовательское упорядоченное расположение термина типа Dom::MonomOrdering. Упорядоченным расположением по умолчанию является DegInvLexOrder.

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

Неотрицательное целое число

Ссылки

Реализованный алгоритм описан в Cox, Мало, О'Ши: “Идеалы, Варианты и Алгоритмы”, Спрингер, 1992, Глава 9.

Алгоритмы

Во-первых, основание Gröbner данных полиномов относительно данного одночленного упорядоченного расположения вычисляется с помощью groebner::gbasis. Это основание Gröbner затем используется, чтобы вычислить размерность аффинного разнообразия, сгенерированного полиномами.

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

Функции MuPAD

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