Для решения
x^2 == 123456 mod 1299709
в системе Mathematica я использовал:
Reduce[x^2 == 123456 + 1299709 k, {x, k}, Integers]
, что дает правильный ответ.
Вопрос: Является ли Reduce лучшим способом (производительность, элегантность или что-то еще) для решения квадратных уравнений сравнения?