вы поступаете не совсем корректно, речь шла о системе CAS MAXIMA. Впрочем, если вам угодно, то скормите вот это уравнение вашей решалке и увидете, что никакой Билл Гей вам не поможет. Так что же, теперь для каждого примера строить свой калькулятор?Я задал задачу онлайн решалке
да леший с этими "решалами", все это не более чем детские игрушки. CAS-системы или символьные вычисления, разработанные с использованием функциональных языков Lisp или Haskell. А вот эти парни вполне годные для имплементации формальных проверок и математических доказательств. Тем, что можно особо не парясь имплементировать формулы формальной логики в машинный код. Можно декларировать бесконечные списки, работать с обычными десятичными числами неограниченной разрядностью, с рациональными, иррациональными и т.д. Но как-то всё не очень срастается и в итоге криво работает. Теперь понятно?ещё раз повторяю, что "решатели" не обязаны ничего доказывать
Лучшая аргументация это - один раз увидеть, чем сто раз услышать. На данный момент можно получить вполне сносный код для контроллеров Arduino. Как в этом видео (на английском языке). Чел описывает свою задачу для проекта часов на 5 семисегментных дисплеях простыми английскими фразами. Всего несколько предложений. 6 минут тратит на объяснение зрителям, затем загружает текст в чат GPT и получает код программы за считанные секунды (с 10-й минуты видео)тобы спорить с ней - нужна аргументация, которая вряд ли здесь может быть приведена