I think your problem is a bit general, and it requires a combination of tools.
On Saturday, August 23, 2014 1:38:36 AM UTC+2, Ondřej Čertík wrote: > > Some examples: > > e = x^2+2*x*y+*y*^2 > s1 = x+y > Maybe this could be done using a solver, the condition *e-s1* being true for all *x, y*? Mathematica has this: http://reference.wolfram.com/language/ref/SolveAlways.html Is there anything like that in SymPy? > e = c*Integral(x**2, (x, a, b)) > s1 = Integral(sin(y)**2, (y, asin(a), asin(b))) > # I hope I substituted correctly > > Maybe this could be tackled by - a structural unification yielding all incompatible subtrees pairs (in this case: [(x**2, sin(y)**2), (a, asin(a)), (b, asin(b)], - relabeling the vars from the e expression: [(x_e**2, sin(y)**2), (a_e, asin(a)), (b_e, asin(b)] - matching all pairs but something similar to Mathematica's SolveAlways or some other clever usage of a solver. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/9166b421-24f9-45eb-918c-c697b2e2e451%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
