Думается, идея, как работать с многочленом от одной переменной, проста, а потому понятна и легка в реализации.
Вот окружность единичного радиуса с центром в начале координат как пример многочлена от двух переменных
![\[x^2 + y^2 \,\, - 1 = 0;\] \[x^2 + y^2 \,\, - 1 = 0;\]](https://dxdy-04.korotkov.co.uk/f/3/f/e/3feb070b928af7ed22a0b27454d5de0c82.png)
Корни этого многочлена есть решение следующей системы уравнений:
![\[
\left\{ \begin{array}{l}
a^2 {\rm{ }} - {\rm{ }}b^2 {\rm{ }} + {\rm{ }}c^2 {\rm{ }} - {\rm{ }}d^2 {\rm{ }} = {\rm{ }}1; \\
2ab{\rm{ }} + {\rm{ }}2cd{\rm{ }} = {\rm{ }}0; \\
\end{array} \right.\] \[
\left\{ \begin{array}{l}
a^2 {\rm{ }} - {\rm{ }}b^2 {\rm{ }} + {\rm{ }}c^2 {\rm{ }} - {\rm{ }}d^2 {\rm{ }} = {\rm{ }}1; \\
2ab{\rm{ }} + {\rm{ }}2cd{\rm{ }} = {\rm{ }}0; \\
\end{array} \right.\]](https://dxdy-01.korotkov.co.uk/f/c/5/e/c5e3e4cfee304e1e3a7a1ce6789982ab82.png)
которая получается, если исходные переменные представить в виде суммы их вещественной и мнимой части,
![\[x = a + ib;\,\,y = c + id;\] \[x = a + ib;\,\,y = c + id;\]](https://dxdy-02.korotkov.co.uk/f/1/e/8/1e862654f2959f9348d5ab10aa86018f82.png)
а потом приравнять 0 отдельно вещественную и мнимую часть.
Система двух уравнений с четырьмя переменными. Её решением является двухпараметрическая поверхность в четырёхмерном пространстве как пересечение двух трёхпараметрических поверхностей. Пока не будем касаться способов получения решения этой системы (система с числом переменных большим числа уравнений), а просто попробуем представить себе, как само оно выглядит. Для иллюстрации даже такого простого примера требуется некое упрощение, зато чётко видна аналогия с многочленами от одной переменной: на рисунке проекции поверхностей на трёхмерное пространство (a b c).

Первый рисунок это поверхность “вещественного” уравнения, второй – “мнимого”, а третий – это их совместное расположение. Плоские же проекции будут иметь вид пересекающихся кривых. Оно и понятно, ведь если в многочлене от n переменных фиксировать значения любых n-1 переменных, то будут получаться многочлены от одной переменной…
Поэтому алгоритм полного решения системы алгебраических уравнений с числом переменных равным числу уравнений практически не отличается от поиска корней обычного многочлена…