Как упростить выражение в системе компьютерной алгебры?

В разных системах компьютерной алгебры способы упрощения выражений могут отличаться.

В Mathematica для упрощения выражений используют, например, следующие функции: intuit.ru

• Expand[expr]. intuit.ru Раскрывает произведения и положительные степени сумм в выражении. intuit.ru Может задаваться в виде Expand[expr,pattern], где второй аргумент задаёт шаблон для элементов выражения, которые следует раскрыть. intuit.ru
• Factor[expr]. intuit.ru Раскладывает многочлен на множители. intuit.ru
• FactorList[expr]. intuit.ru Вычисленное выражение представляет собой вложенный список, элементами которого являются внутренние списки, состоящие из двух элементов. intuit.ru
• FactorTerms[expr,x]. intuit.ru Выносит общий числовой множитель, который не зависит от х. intuit.ru

В Maxima для упрощения выражений используют, например, такие функции: maxima.sourceforge.io

• ratsimp(). maxima.sourceforge.io Быстрый механизм упрощения. maxima.sourceforge.io
• fullratsimp(выражение). maxima.sourceforge.io kpfu.ru Последовательно применяет к переданному выражению функцию ratsimp(), а также некоторые нерациональные преобразования и повторяет эти действия в цикле до тех пор, пока выражение не перестанет изменяться. maxima.sourceforge.io
• radcan(выражение). maxima.sourceforge.io Занимается упрощением логарифмических, экспоненциальных функций и степенных с нецелыми рациональными показателями, то есть корней (радикалов). maxima.sourceforge.io
• trigsimp(выражение). maxima.sourceforge.io Старается упростить любое тригонометрическое выражение, используя известные формулы. maxima.sourceforge.io

Также в Maxima есть переключатель simp (от «simplification» — упрощение), по умолчанию он включён, но его можно выключить, установив значение переключателя в false. www.uneex.ru