Алгебра. Замена выражений в формулах.
Пусть имеем список заменяемых и список заменяющих выражений. Тогда правила замены можно сформировать с помощью функции Thread.
rr=Thread[{r,s,t} > {R, S,T}] (r > R,s > S,t > T)Теперь применим эти правила.

Выражения в системе Mathematica имеют заголовки. Например:

Их тоже можно заменить.

В данном случае выражения с заголовками integer, Rational и Plus были заменены их логарифмами. Вот еще пример этого типа. Все выражения с заголовками f или g заменим их квадратами.

Вот еще один способ сделать то же самое.

А вот как все множители, являющиеся вызовами функций, можно возвести в квадрат:

Заметьте, что выражение HoldPattern [expression] эквивалентно выражению expression для сопоставления с образцом, но оставляет выражение expression в невычисленной форме.
А вот как все вызовы функций, не содержащие степеней и произведений, возводятся в куб.

