如何使用 sageMath 为符号变量 solve/simplify

How to solve/simplify for a symbolic variable with sageMath

所以我想 solve/simplify(不确定此处使用的正确术语)用于此等式中的符号变量 'a':

a == -1 - ((f - af) / n)

具有圣哲。我应该期待并回答:

a == (-f - n) / (n- f)

我可以使用 https://mathpapa.com/algebra-calculator.html 做到这一点,但不确定这是否可以通过 sagemath 实现。我尝试了几种使用 solve 和 simplify 的方法,但没有任何效果。

分三步完成。

首先在Sage的符号环(SR)中声明符号变量:

sage: a, f, n = SR.var('a, f, n')

然后定义方程,明确地写出乘法a * f

sage: equation = a == -1 - ((f - a*f) / n)

根据变量a:

求解方程
sage: solve(equation, a)
[a == (f + n)/(f - n)]