Maybe I should clarify.
My guess: NOT A BUG.
I don't know what ratsolve documentation
says, since I haven't found any.
but I am fairly confident that the questions you are asking
it to solve ARE NOT VALID INPUTS.
I looked briefly for the source code, not in SOLVE.lisp but NUSUM,
and it is some translated function not written directly in lisp.
Uncommented.
It seems that RATSOLVE finds only rational solutions to
rational inputs. I don't know why anyone would use it, or why
you are testing it. I don't know if there are any applications
using it.
ratsolve is defined in macsyma, too.
where it is also undocumented.
RJF
C Y wrote:
> Hmm. In 5.9.1, ratsolve doesn't like that either:
>
> (%i2) ratsolve(sqrt(h^2/a^2+k^2/b^2+l^2/c^2)^-1-d,a);
> (%o2) []
>
> CY
>
> --- Richard Fateman wrote:
>
>>I don't see documentation for ratsolve , but
>>ratsolve apparently does not take an equation as first argument.
>>
>>ratsolve(a=1,a) gives a=0.
>>ratsolve(a-1,a) gives a=1.
>>
>>RJF
>> C Y wrote:
>>
>>
>>>I don't know if this is a bug, local quirk, or what, but ratsolve
>>
>>seems
>>
>>>to be giving me a wrong answer here:
>>>
>>>Maxima 5.9.1.1cvs http://maxima.sourceforge.net
>>>Using Lisp SBCL 0.8.20
>>>(%i1) ratsolve(d=sqrt(h^2/a^2+k^2/b^2+l^2/c^2)^-1,a);
>>> b c h
>>>(%o1) [a = - ---------, a = 0]
>>> b l + c k
>>>
>>>This is obviously nonsense because the solution doesn't even
>>
>>contain d.
>>
>>> Did I flub it up somehow? Can anyone reproduce this? Is it
>>
>>expected?
>>
>>>CY
>>>
>>>__________________________________________________
>>>Do You Yahoo!?
>>>Tired of spam? Yahoo! Mail has the best spam protection around
>>>http://mail.yahoo.com
>>>
>>>_______________________________________________
>>>Maxima mailing list
>>>Maxima@www.math.utexas.edu
>>>http://www.math.utexas.edu/mailman/listinfo/maxima
>>
>>
>
>
>
> __________________________________
> Do you Yahoo!?
> Yahoo! Mail - Find what you need with new enhanced search.
> http://info.mail.yahoo.com/mail_250