Основы Gröbner

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

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

Примечание

Используйте только в Интерфейсе MuPAD Notebook. Эта функциональность не запускается в MATLAB.

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

Идеал дан списком генераторов. Они должны все быть полиномами того же типа, т.е. для всех них, содействующий звонок (третий операнд) и список неизвестных (второй операнд) должен быть тем же самым. Генераторы могут также быть выражениями (все они должны быть, если какой-либо из них).

Основы Gröbner и связанные понятия зависят от упорядоченного расположения одночлена (также названный упорядоченным расположением термина) на рассмотрении. MuPAD® знает следующие упорядоченные расположения:

  • лексикографическое упорядоченное расположение, обозначенное идентификатором LexOrder.

  • упорядоченное расположение общей степенью, с лексикографическим упорядоченным расположением, используемым в качестве тай-брейка; это обозначается идентификатором DegreeOrder.

  • упорядоченное расположение общей степенью, с противоположностью лексикографического упорядоченного расположения для обратного порядка неизвестных, используемых в качестве тай-брейка (т.е. одночлен, который лексикографически меньше, если порядок переменных инвертируется, рассматривается большим); этот обозначается DegInvLexOrder.

  • пользовательские упорядоченные расположения. Они составляют доменный Dom::MonomOrdering собственный.

Упорядоченные расположения всегда относятся к порядку неизвестных полинома; например, x лексикографически больше, чем y в F[x, y], но меньший, чем y, когда расценено как элемент F[y, x].