Алгоритм построения расширенного универсального базиса Гребнера
Авторы:
Аннотация:
В статье описывается алгоритм построения расширенного универсального базиса Гребнера (EUGB) полиномиального идеала, основанный на связи между многомерными диаграммами Юнга и базисами Гребнера полиномиальных идеалов. Представленный алгоритм предназначен для нульмерных идеалов и включает в себя построение максимальных линейно-независимых множеств мономов (MLIMS) в факторалгебре по идеалу.