Comment #2 on issue 2236 by [email protected]: solve fails for polysys with multiple solutions
http://code.google.com/p/sympy/issues/detail?id=2236
There are already several issues related to non zero-dimensional systems. Currently we don't support this kind of systems and unless someone takes care of this in a systematic manner we won't have this working.
can't compute a Groebner basis over RR
This is correct behavior as for now, because over RR there is no way to compute div() of polynomials. In RR(eps) this will be possible, because in this domain zero equivalence problem is solvable (by truncation) (btw. this is how Mathematica works). This kind of RR domain will be added in future, but until my current work is merged.
-- 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.
