Comment #11 on issue 2033 by [email protected]: solve should be able to handle rational function systems
http://code.google.com/p/sympy/issues/detail?id=2033

It is. When I put the OP equation set of 2033 into 1694 these are the equations for which a solution is sought:

h[1] >>> solve([r - x**2 - y**2, tan(t) - y/x], [x, y])

Poly(-_x**2 - _y**2 + _r, _x, _y, domain='ZZ[_r]');Poly(tan(_t)*_x - _y, _x, _y, domain='ZZ[tan(_t)]')

Notice that there are no fractions. But these generate an error:

Traceback (most recent call last):
...
    raise ExactQuotientFailed('%s does not divide %s in %s' % (b, a, self))
sympy.polys.polyerrors.ExactQuotientFailed: DMP([[1, 0]], ZZ) does not divide DM
P([[1]], ZZ) in ZZ[_r,tan(_t)]

which goes away in polys12 as long as they are entered in the form that they are fashioned into by 1694:

h[1] >>> solve((-x**2 - y**2 + r, tan(t)*x - y), (x, y))
[((r*tan(t)**2/(1 + tan(t)**2))**(1/2)/tan(t), (r*tan(t)**2/(1 + tan(t)**2))**(1 /2)), (-(r*tan(t)**2/(1 + tan(t)**2))**(1/2)/tan(t), -(r*tan(t)**2/(1 + tan(t)**
2))**(1/2))]
h[2] >>>

Otherwise you would get an error without the 1694 changes:

h[2] >>> solve([r - x**2 - y**2, tan(t) - y/x], [x, y])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "sympy\solvers\solvers.py", line 369, in solve
    raise NotImplementedError()
NotImplementedError
h[2] >>>

/c


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