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

Стахин Н.А., Основы работы с системой аналитических (символьных) вычислений Maximaфункция partfrac(), ей только нужно указать имя переменной, относительнокоторой она сделает таки преобразования.Несколько слов о приведении конечной десятичной записи чисел крациональной. Конечная десятичная запись считается по определениюприблизительной, что и понятно, т.к. при вычислениях самой Maxima такаязапись может возникнуть исключительно при применении приближенныхметодов либо при ручном указании о переводе числа в десятичную запись изматематической, в результате чего результат тоже, вероятнее всего, окажетсяприблизительным.Эта приблизительность учитывается и при переводе в рациональные числа,а ее уровень, то есть мера, на которую рациональное число при переводе можетотклониться от конечной десятичной записи, регулируется переменнойratepsilon, равной по умолчанию 2.0e-8, т.е. 0.00000002.Если такое положение вещей вас не устраивает, вы можете убедить Maximaоставлять десятичную запись чисел как есть, установив в true значение флагаkeepfloat (по умолчанию он равен false).4.2. Раскрытие скобокСледующая функция раскрывает скобки в рациональном выражении иназывается ratexpand(); (одно из значений слова expand и есть «раскрытьскобки»). Здесь также действует опция keepfloat.Кроме нее, есть еще одна опция — ratdenomdivide; по умолчанию онаустановлена в true, это приводит к тому, что каждая дробь, в которойчислитель является суммой, распадается на сумму дробей с одинаковымзнаменателем. Если же сбросить эту опцию в false, тогда все дроби содинаковым знаменателем будут, напротив, объединены в одну дробь счислителем в виде суммы числителей изначальных дробей. То есть внешнерезультат будет в этом случае выглядеть почти так же, как и у функции rat();к тому же единственная видимая пользователю разница проявляется только врациональных выражениях от нескольких переменных (или различныхиррациональных выражений).Заключается эта разница в том, что после ratexpand(); и в числителе, ив знаменателе дроби все скобки будут раскрыты, в случае же rat();слагаемые, где присутствуют, скажем, две переменных, будут сгруппированы,20