Comment #3 on issue 2075 by asmeurer: solve fails for eq1=1 + 2*y/b - (e + x)**2/a; eq3=1 + 2*y/d - (x - e)**2/c
http://code.google.com/p/sympy/issues/detail?id=2075

This one works in integration3, thanks to this commit of mine:

commit 6abbf26524e631039142dd5acffde676839e8e6b
Author: Aaron Meurer <[email protected]>
Date:   Fri Jun 11 23:12:51 2010 -0600

    Allow coercion from ZZ(a) to ZZ(a, b)

So we just need to extend that patch to allow coercion from ZZ(a, b, e) to ZZ(a, b, c, d, e). Actually, it looks like I already tried to do this with "if set(K0.gens).issubset(K1.gens)", but it didn't work in this case for some reason. Also take a look at the change introduced in 1da2cf3ba96ba1f01 (again in my integration3 branch).

And if this is fixed, make sure it also works for QQ(a, b, e) to QQ(a, b, c, d, e), and also ZZ[a, b, e] to ZZ[a, b, c, d, e] and QQ[a, b, e] to QQ[a, b, c, d, e].

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy-issues?hl=en.

Reply via email to