Solver 如何用sageMath求解/简化符号变量

因此，我想对方程中的符号变量“a”进行求解/简化（不确定此处使用的术语是否正确）：

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

和sagemath一起。我期待并回答：

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

---

我可以用sagemath来做这件事，但不确定这是否可以用sagemath实现。我尝试过使用solve和simplify的几种方法，但都没有成功

分三步进行

首先声明Sage符号环（SR）中的符号变量：

然后定义方程式，明确写出乘法

a*f

：

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

根据变量

a

求解方程：

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

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