考虑简单的解决方案:
sol: solve(b * x - a, x);
一个 [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]