Вычисление степени доминантного морфизма в нулевой характеристике за полиномиальное время. I

Рассмотрим проективное алгебраическое многообразие $W$, которое является неприводимой компонентой множества всех общих нулей семейства однородных многочленов степеней меньше чем $d$ от $n+1$ переменных в нулевой характеристике. Мы показываем, как вычислить степень доминантного рационального морфизма из $W$ в $W'$ с $\dim W=\dim W'$, заданного однородными многочленами степени $d'$. Этот алгоритм является детерминированным и полиномиальным от $(dd')^n$ и длины записи входных данных. Библ. – 11 назв.