О модулярном вычислении базисов Гребнера с целыми коэффициентами

Пусть $I_1\subset I_2\subset\dots$ – возрастающая последовательность идеалов кольца $\mathbb Z[X]$, $X=(x_1,\dots,x_n)$ и пусть $I$ – их объединение. Мы даем алгоритм вычисления базиса Гребнера идеала $I$ в предположении, что известны базисы Гребнера идеала $\mathbb QI$ кольца $\mathbb Q[X]$ и идеалов $I\otimes(\mathbb Z/m\mathbb Z)$ колец $(\mathbb Z/m\mathbb Z)[X]$.
Данная алгоритмическая задача возникает, например, при построении марковских и полумарковских следов на кубических алгебрах Гекке. Библ. – 6 назв.