Status: Accepted
Owner: smichr
Labels: Type-Defect Priority-Medium Solvers

New issue 2075 by smichr: 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

The system

eq1=1 + 2*y/b - (e + x)**2/a
eq3=1 + 2*y/d - (x - e)**2/c
solve([eq1,eq3],[x,y])

fails with

raise CoercionFailed("can't convert %s of type %s to %s" % (a, K0, K1))
CoercionFailed: can't convert DMF(([[[-1]]], [[[1]], [[]]]), ZZ) of type ZZ(a,b,e) to ZZ(a,b,c,d,e)

in master and polys11.

After re-arrangement it succeeds
eq1=b + 2*y - a*(e + x)**2
eq3=d + 2*y - c*(x - e)**2



--
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