Как сравнить два выражения с максимумами?

Question

У меня есть два сложных математических выражения. Как я могу сравнить их, чтобы найти, выражают ли они то же самое, используя Maxima?

Answer 1

is(equal(e1, e2)), Обратите внимание, что "=" - это тождество (то есть то же выражение), а "равно" - эквивалентность. Например is(equal(x*(x + 1), x^2 + x)) => true в то время как is(x*(x + 1) = x^2 + x) => false, Обратите внимание, что is(equal(e1, e2)) на самом деле вычисляет ratsimp(e1 - e2) и проверяет, равен ли результат 0. Maxima не может уменьшить все эквивалентные выражения до 0, поэтому есть случаи, когда он будет некорректно возвращать false,