Для этого нет определенной функции, но я думаю, что вы можете создать что-то через freeof
. Например .:
(%i12) merge_constants (expr, var, newconst) :=
block ([freeof_var : sublist (args (expr), lambda ([e1], freeof (var, e1)))],
expr - apply ("+", freeof_var) + newconst) $
(%i13) merge_constants (x^2 - 2*a + b + c, x, k);
2
(%o13) x + k
(%i14) merge_constants (2^x + a/b + c^2, x, k);
x
(%o14) 2 + k
(%i15) merge_constants (sin(u) + u*cos(v) + v^2 + tan(w), u, m);
(%o15) u cos(v) + sin(u) + m
Эта функция merge_constants
просто первая попытка. Я уверен, что есть способы улучшить его. Например. верните значение freeof_var
, чтобы увидеть, что было заменено на newconst
. В любом случае, я надеюсь, что это полезно.
Хорошо, работает для алгебраических выражений. –
Восстанавливая тему, на самом деле это в определенной степени. Разверните выражение в аддитивных терминах, разделите формулу на два пакета B1 и B2 так, чтобы B1, содержащий x и B2, другие, содержащие оставшиеся члены, затем заменили B на новую неизвестную переменную, скажем, на альфа. Решение - это альфа плюс сумма членов в B1. –