* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки
Символьные преобразования выражений
237
В этих функциях f – процедура, возвращающая логическое значение, e – спи сок, множество, сумма, произведение или функция, b1, …, bn – необязательные дополнительные аргументы. Применение функций очевидно. Maple имеет также оператор селекции A[expr] Выражения A. Его действие поясняют следующие примеры:
> restart; > S:=[a+b*c,x^2,c,1,2,3];
S := [a + b c, x2, c, 1, 2, 3]
> S[1];
a+bc
> S[1..2];
[a + b c, x2]
> S[-2..-1];
[2, 3]
> S[3..3];
[c]
> S[3..2];
[ ]
3.9. Символьные преобразования выражений
3.9.1. Упрощение выражений – simplify
Функция simplify – одна из самых мощных в системах символьной математи ки. Она предназначена для упрощения математических выражений. В системе Maple функция упрощения используется в следующем виде: • simplify(expr) – возвращает упрощенное выражение expr или повто ряет его, если упрощение в рамках правил Maple невозможно; • simplify(expr, n1, n2, … ) – возвращает упрощенное выражение expr с учетом параметров с именами n1, n2, … (в том числе заданных списком или множеством); • simplify(expr,assume=prop) – возвращает упрощенное выражение expr с учетом всех условий, представленных равенством или списком ра венств. Функция simplify – многоцелевая. Она обеспечивает упрощение математи ческих выражений, выполняя следующие типовые действия (для простоты обо значим их как преобразрвание ->): • комбинируя цифровые подвыражения (3*x*5->15*x, 10*x/5->2*x); • приводя подобные множители в произведениях (x^3*a*x->a*x^4); • приводя подобные члены в суммах (5*x+2+3*x->8*x+2); • используя тождества, содержащие нуль (a+0->a, x-0->x); • используя тождества, содержащие единицу (1*x->x);