начнёшь разбираться с тем, как проверять свои решения
через полчаса: "не, float мне не подходит"
ещё через полчаса: "какие ещё ??%?! расширения полей?!"
ещё через неделю "так, а как мне вообще тут сравнить две константы?"
ещё через месяц на кафедре "ну, в общем, тему диплома я выбрал"
ещё через годик на этой же кафедре "здесь есть хоть один алгебраический геометр?!"
ещё через пару годиков на этой же кафедре "здесь есть хоть один алгебраический геометр?! КРОМЕ МЕНЯ?!"
ещё через пару годиков, но уже в офисе пока-ещё-вольфрама: "ну, мы предлагали вам Х денег — воля ваша..."

Я так не умею... :(
Но в итоге обошелся передачей размера квадратной матрицы, а не размера её треугольного представления

ты явно чего-то не договаривал

а, не, это я в глаза долбился

ты написал "через детерминант", а я автоматически подставил "через дискриминант"

сорри)

Не смог сравнить Х с нулем

Блин. Это я обдолбался. Детерминант с дискриминантом перепутал

Да я готов. Сравнение чисел это еще в школе проходили. Оценка точности это вузовская программа 1-2 курс откуда выбираем float или double. А так в моей CAS все на Double.

ну а в недетской CAS, в которой "корень из двух — это корень из двух", там — сравнение это очень даже проблема

даже за пределами алгоритмически неразрешимых ситуаций

даже там, где нет ситуации "неизвестно, есть ли в принципе алгебраическая зависимость между a и b"

Но в случае квадратных радикалов шансы есть :)

операции в CAS с полем констант — это дичь, про которую пока никто на этом шарике не может сказать "да я готов", не покривив душой

даже фортран.

Вы мне тут историю напомнили про Джордж Бернард, как он решил 2 из 3 нерешаемых задач.

а на третьей пара кончилась?

или на третьей он проснулся?

Это случилось во время моего первого года обучения в Беркли, когда я однажды опоздал на лекцию [Иржи] Неимена. На доске были записаны две задачи, которые я принял за домашнее задание. Я переписал их. Несколько дней спустя я принёс извинения Неимену за то, что потратил слишком много времени на выполнение домашней работы – задачи оказались сложнее, чем обычно. Я спросил его, хочет ли он взглянуть на них. Он сказал мне положить работу на его стол. Я сделал это неохотно, потому что его стол был завален такой кучей бумаг, что я побоялся, что моя домашняя работа будет потеряна там навсегда. Приблизительно шесть недель спустя, в воскресенье около восьми часов утра, [моя жена] Энн и я были разбужены громким стуком в нашу парадную дверь. Это был Неимен. Он ворвался в дом, размахивая бумагами: "Я только что написал введение на одно из ваших доказательств. Прочитайте, чтобы я сразу смог отослать его для публикации". В течение минуты я понятия не имел, о чём он говорит. Короче говоря, уравнения на доске, которые я принял за домашнее задание, на самом деле были двумя известными нерешаемыми задачами в статистике. Это был первый раз, когда я услышал о них.