如何通過SAGE中的其他表達變量

是否有通過SAGE中定義的變量表達數學表達式的方法？如何通過SAGE中的其他表達變量

例如，如果我有變量a = b + c，我希望SAGE重寫表達式b + c + d爲a + d。

謝謝。

正如你可以在calculus看到，可以表達d爲變量與

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

或類似的b和c變量的函數

2013-03-12 12:19:41 user1929959

是的，當然，但我的問題是如何使用'a'的定義和獲得'a + d'來簡化表達式（即'b + c + d'）。這只是一個簡單的例子。 – ElectricHedgehog 2013-03-12 12:28:39

如http://www.sagemath.org/doc/reference/sage/symbolic/expression.html中所示使用簡化 – user1929959 2013-03-12 12:30:15

似乎不起作用： 'sage：var（「abcd」）（a， b，C，d）鼠尾草：A = VAR（「A」）; b + C b + C 鼠尾草：（b + C + d）.simplify（） b + C + d' – ElectricHedgehog 2013-03-12 12:38:13

事實上，用這樣的表達是一個非平凡的事情，如果你不知道你想要的表達樹的哪一部分。請參閱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或筆記本電腦。

2013-03-12 13:35:55 kcrisman

回答