问题描述
考虑简单的解决方案:
sol: solve(b * x - a,x);
a [x = -] b
如何从上述结果中得到表达式部分 sol: a / b
?
解决方法
感谢 Johann Weilharter,我找到了一种提取表达式的方法:
sol: ev(x,solve(b * x - a,x)[1]);
当然,如果有多个解决方案,则需要将1
更改为具体实例。
或者,正如问题的评论中所指出的,也可以使用
sol: rhs(first(solve(b * x - a,x)));
oneliner 来完成这项工作。
,你需要的是一个符号求值库。如果您正在考虑使用 Python 实现,则可以使用 SymPy。
import sympy as sym
x = sym.Symbol('x')
b = sym.Symbol('b')
a = sym.Symbol('a')
sol = sym.solve((b * x - a),x)
print(sol)
------
[a/b]