Думается, идея, как работать с многочленом от одной переменной, проста, а потому понятна и легка в реализации.
Вот окружность единичного радиуса с центром в начале координат как пример многочлена от двух переменных
Корни этого многочлена есть решение следующей системы уравнений:
которая получается, если исходные переменные представить в виде суммы их вещественной и мнимой части,
а потом приравнять 0 отдельно вещественную и мнимую часть.
Система двух уравнений с четырьмя переменными. Её решением является двухпараметрическая поверхность в четырёхмерном пространстве как пересечение двух трёхпараметрических поверхностей. Пока не будем касаться способов получения решения этой системы (система с числом переменных большим числа уравнений), а просто попробуем представить себе, как само оно выглядит. Для иллюстрации даже такого простого примера требуется некое упрощение, зато чётко видна аналогия с многочленами от одной переменной: на рисунке проекции поверхностей на трёхмерное пространство (a b c).
Первый рисунок это поверхность “вещественного” уравнения, второй – “мнимого”, а третий – это их совместное расположение. Плоские же проекции будут иметь вид пересекающихся кривых. Оно и понятно, ведь если в многочлене от n переменных фиксировать значения любых n-1 переменных, то будут получаться многочлены от одной переменной…
Поэтому алгоритм полного решения системы алгебраических уравнений с числом переменных равным числу уравнений практически не отличается от поиска корней обычного многочлена…