Эффективная оценка корней из поля дробно-степенных рядов заданного многочлена в ненулевой характеристике

Мы предлагаем алгоритм для построения всех изолированных примарных компонент заданного полиномиального идеала. На выходе они определяются системами образующих с точностью до вложенных компонент, а также как ядра некоторых гомоморфизмов. Сложность этого алгоритма субэкспоненциальна от длины входных данных. Библ. – 18 назв.