[sage-support] Re: ValueError: Unable to solve
> I am not an expert for that part of Sage. But I would expect the > output "[]" *only* if it is certain that there is no solution. I > interprete the ValueError in the sense of "sorry, I can't solve this > equation, and I can't prove the absence of solutions either". That is the hope, yes, though I am sure there are counterexamples to both. Maxima cannot solve this, with or without to_poly_solve, so that is why there is no solution found. - kcrisman -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
[sage-support] Re: ValueError: Unable to solve
The real disappointment is that sage could not solve it. Aren't there several solutions? Richard On Jan 10, 7:01 am, Simon King wrote: > Hi Roland! > > On 10 Jan., 12:56, Rolandb wrote: > > > Hi, > > > The following message amazes me, because if an equation is unsolvable > > I would assume [] as output. > > > ValueError: Unable to solve [x^3 + 3*x^2*y + 3*x*y^2 == 45487, y^3 == > > 549755813888] for (x, y) > > I am not an expert for that part of Sage. But I would expect the > output "[]" *only* if it is certain that there is no solution. I > interprete the ValueError in the sense of "sorry, I can't solve this > equation, and I can't prove the absence of solutions either". > > Cheers, > Simon -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
[sage-support] Re: ValueError: Unable to solve
Hi Roland! On 10 Jan., 12:56, Rolandb wrote: > Hi, > > The following message amazes me, because if an equation is unsolvable > I would assume [] as output. > > ValueError: Unable to solve [x^3 + 3*x^2*y + 3*x*y^2 == 45487, y^3 == > 549755813888] for (x, y) I am not an expert for that part of Sage. But I would expect the output "[]" *only* if it is certain that there is no solution. I interprete the ValueError in the sense of "sorry, I can't solve this equation, and I can't prove the absence of solutions either". Cheers, Simon -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org