[sage-support] Re: ValueError: Unable to solve

2010-01-11 Thread kcrisman

> 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

2010-01-10 Thread rickhg12hs
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

2010-01-10 Thread Simon King
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