如何通过SAGE中的其他表达变量

Question

是否有通过SAGE中定义的变量表达数学表达式的方法？

例如，如果我有变量a = b + c，我希望SAGE重写表达式b + c + d为a + d。

谢谢。

Answer 1

正如你可以在calculus看到，可以表达d为变量与

a = var('a'); b+c 

或类似的b和c变量的函数

Answer 2

事实上，用这样的表达是一个非平凡的事情，如果你不知道你想要的表达树的哪一部分。请参阅Richard Fateman的评论here。

问题的核心是，即使命令将做你想做的不是关于字符串，而是表达式。所以你将不得不使用“通配符”。

sage: w0 = SR.wild(0) 
sage: (b+c+d).subs({b+c+w0:a+w0}) 
a + d 

欲了解更多信息，请参阅

sage: x.match? 
sage: SR.wild? 

在交互式shell或笔记本电脑。