(символьных) вычислений maxima

Стахин Н.А., Основы работы с системой аналитических (символьных) вычислений Maximaтолько "знает" об этом, но и не желает записывать результат в виде (b+a) 4 , амаксимально раскрывает скобки:Во-вторых, ratexpand(); приводит дроби-слагаемые к общемузнаменателю, а expand(); этого не делает; в-третьих, на функцию expand недействует переключатель ratdenomdivide. И в-четвертых, expand(); непреобразовывает к рациональным числам конечную десятичную запись —опять-таки, вне зависимости от флага keepfloat. Кроме всего сказанногофункция expand();, в отличие от своего рационального сородича, имеетнесколько вариаций — в виде отдельных функций с похожими названиями*expand*();, которые раскрывают скобки несколько по-разному.В противоположность функциям *expand*();, раскрывающим скобки,можно также записать анализируемое выражение как произведениесомножителей, то есть максимально повыносить все за скобки. Делается это спомощью функции factor();Если функции factor(); передать целое число, она разложит его напростые множители; если же передать рациональное число, на множителибудут разложены его числитель и знаменатель:Если многочлен не может быть представлен в виде произведениянескольких сомножителей, его можно попытаться преобразовать в сумму такихпроизведений с помощью функции factorsum();В следующем примере используется много переменных x, y, z, v, u, t, w ине удается вынести за скобки общий множитель, поэтому функция factor(); споставленной ей задачей — записать результат в виде сомножителей — несправилась, но функция factorsum(); решила задачу и записала выражение ввиде суммы произведений.Функция factorsum(); умеет раскладывать на множители тольконезависимые слагаемые, то есть такие, которые не содержат одинаковыхпеременных. Если мы раскроем скобки в выражении, содержащем в двухразных местах один и тот же символ, то так как коэффициенты при этомсимволе после раскрытия сгруппируются, factorsum(); не сможет понять,22