mathematica 化简
举个简单的例子,比如：
Y = (a+b+1)^2,
y1 = a^2 + b^2,
y2 = 2ab,
显然我们知道：Y = y1 + y2 + 2a + 2b + 1,
但是如何用Mathematica化简给出这样的结果呢?
我试了FullSimplify[ (a + b + 1)^2,Assumptions -> y1 == a^2 + b^2 && y2 == 2*a*b ] 不行.