在Maxima中如何自动提取表达式中的所有变量？

针对你给出的表达式：

xpr: a*x^3 + b*y^2 + c*z - d*sin(t) + e*sqrt(u) + f*v^4 - g*w + h*log(x) + i*cos(y) + j*exp(z) + k*tan(u) - l*sec(v);

可以用以下两种方法提取所有变量：

方法1：使用内置函数allvariables #

Maxima内置的allvariables函数可直接返回表达式中所有符号变量，包括系数（a、b等）和自变量（x、y等）：

allvariables(xpr);

执行后会返回包含所有变量的列表（顺序可能略有不同）：
[a, b, c, d, e, f, g, h, i, j, k, l, t, u, v, w, x, y, z]

方法2：自定义递归函数（更灵活） #

如果需要排除特定常量（如%pi、%e）或自定义规则，可以写一个递归函数遍历表达式所有元素：

get_all_vars(expr) := block(
    vars: [],
    process_term(term) := (
        if atom(term) then (
            if symbolp(term) and not member(term, [%pi, %e, %i]) then push(term, vars)
        ) else (
            map(process_term, args(term))
        )
    ),
    process_term(expr),
    remove_duplicates(sort(vars))
);

调用函数获取变量列表：

get_all_vars(xpr);

返回结果是去重并排序后的变量列表：
[a, b, c, d, e, f, g, h, i, j, k, l, t, u, v, w, x, y, z]

你之前用ratsubst(true, all, args(expr))得到的是表达式的各项而非单个变量，原因是args(expr)本身就是将表达式拆分为各项，ratsubst在此场景下无法起到提取变量的作用。

内容的提问来源于stack exchange，提问作者user386164