Effective construction of a nonsingular in codimension one algebraic variety over a zero-characteristic ground field

Пусть $k$ – поле нулевой характеристики, конечно порождённое над полем рациональных чисел. Пусть $f$ – полином степени самое большее $d$ от $n$ переменных с коэффициентами из поля $k$ и неприводимый над алгебраическим замыканием $\overline k$. Тогда мы строим неособое в коразмерности один алгебраическое многообразие $V$ и конечный бирациональьный изоморфизм $V\to\mathcal Z(f)$, где $\mathcal Z(f)$ является гиперповерхностью всех общих нулей многочлена $f$ в аффинном пространстве. Время работы алгоритма для построения $V$ полиномиально от длины записи входных данных. Библ. – 8 назв.