如何从Maple数值表达式中提取所有根（含复数I）

AI 小北

2026-7-3

解决方案

Maple没有专门提取所有根的内置函数，但可以通过组合核心函数高效实现需求，以下是两种对应不同结果形式的实现：

1. 提取所有出现的根形式（对应示例A）

你之前认为indets对数值表达式无效，是因为未指定正确的匹配类型。通过指定幂运算的类型，indets可以精准提取所有根形式：

f:=(3^(2/3)*2^(3/5)+3*I)/(4*2^(2/5)-2*sqrt(5)/7);
# 提取所有幂形式根 + 复数I，仅保留表达式中实际存在的元素
A := indets(f, 'specfunc(anything, `^`)') union {I} intersect indets(f);

关键说明

specfunc(anything, ^)匹配所有幂运算表达式（Maple会将sqrt(5)自动解析为5^(1/2)）
union {I}手动添加复数单位，再通过intersect indets(f)过滤掉未在表达式中出现的I

2. 提取基础根形式（对应示例B）

要将相同底数的不同次幂归一化为最简基础根，需解析指数的分母，生成最小次幂形式：

# 定义辅助函数，将幂形式转换为基础根
get_base_root := proc(p)
    local base, exp, denom;
    if type(p, `^`) then
        base := op(1, p);
        exp := op(2, p);
        denom := denom(exp); # 获取指数的分母（如3/5的分母为5）
        return base^(1/denom);
    elif p = I then
        return I;
    end if;
end proc:

# 提取所有根并归一化
B := map(get_base_root, indets(f, 'specfunc(anything, `^`)')) union {I} intersect indets(f);