簡素化定数は以下の式で

Question

、Xが可変であり、、B、C、Kは未定義定数です。 の機能はMaximaのの定数を単純化する機能はありますか？

例、

• X^2 - 2A + B + Cは、x^2 + K
• 2^X + A/B + C^2となる2^X + K

となります

Answer 1

特定の機能はありませんが、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に置き換えられたかを確認します。とにかく、これは便利だと思います。