Maxima中linsolve结果含g20618的含义及规避方法问询

问题重现 #

运行以下Maxima代码后，输出结果出现未知符号g20618：

display2d:false$
IS1:1e-12$
IS2:1.1e-12$
IS3:1.7e-12$
NVT1:0.05$
NVT2:0.051$
NVT3:0.056$
V0:0.1$
I1(V):=IS1*(exp(V/NVT1) - 1.0)$
I2(V):=IS2*(exp(V/NVT2) - 1.0)$
I3(V):=IS3*(exp(V/NVT3) - 1.0)$
e0:V1+V2-V0$
e1:I2(V2)+I3(V2)-I1(V1)$
t01:taylor(e1, [V1, V2], [0,0], 1)=0$
t02:taylor(e0, [V1, V2], [0,0], 1)=0$
eqns:[t01, t02]$
float(linsolve(eqns, [V1, V2]));

输出：[V1 = 0.07219355466848408/g20618,V2 = 0.02780644533151591/g20618]

g20618的含义 #

g20618是Maxima在符号计算过程中自动生成的临时内部符号，用于替代泰勒展开等操作中产生的未显式解析的导数项或中间关联变量。这类带编号的临时符号出现，本质是Maxima符号隔离机制的上下文残留问题：当前计算环境中存在未清理的变量依赖、历史计算上下文，导致系统无法正确解析表达式中的所有项，转而用临时符号占位。

规避方法 #

• 重置计算环境：在代码开头添加kill(all)$命令，清除所有已定义的变量、函数和历史计算上下文，确保从干净环境开始计算
• 显式声明独立变量：在定义方程前，添加depends([V1, V2], []);，明确指定V1、V2为独立变量，消除系统对变量依赖的模糊判断
• 提取并复用展开后的方程：若已生成含临时符号的结果，可将taylor输出的方程手动复制到新的干净Maxima环境中重新求解，或使用expand(t01)、rat(t01)命令展开临时符号对应的项，替换为显式表达式

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