Я имею дело с приложением в электронном обучении (STACK-Plugin на Moodle).Учитывая простой термин, студентов просят найти антидериват (неопределенный).Максима должна проверить, если ответ правильный.
В качестве примера возьмем 
, x> -2.Это 
, если вы не сокращаете дробь.Если вы режете фракции, то это 
.Конечно, оба решения одинаковы.
Проверка голой эквивалентности не кажется мне слишком сложной.is(fullratsimp(diff(answer,x) = term)) должен сделать работу.Это только половина истории.
Часть, решение которой я не знаю, это: Как проверить, существует ли произвольная константа аддитивного интегрирования?Какие-либо предложения?
Кстати: почему максима integrate(...) не добавляет константу?Я предположил, что integrate(x^2,x) дает x^3/3 + %c, но максимумы пропускают константу интегрирования %c.