Stavros Macrakis wrote:
> On Fri, Jan 16, 2009 at 12:07 PM, Raymond Toy <raymond.toy at ericsson.com> wrote:
>
>> ...There is a test (alike1 (add 1 (mul 2 a1)) c) that fails. (a1 = (a+b-1/2)/2 = (2*A+11/3)/2)
>> We want this test to succeed because 2*a1+1 actually does equal c, when everything is expanded out.
>> What is the best way to achieve this? I could call $expand or $ratsimp in hyp-cos, but I'm not sure what is right, or if something else should be used.
>>
>
> The best way to do this in this case is to check whether
> is(equal(2*a1+1,c)) (using the appropriate Lisp calls, which I don't
> remember off the top of my head). This will also take into account
> the assume database.
>
Hmm. I don't know the exact calls either. But I think I'll use
Richard's suggestion and use ratsimp(2*a1+1-c) and test for 0.
>
>> (Even if this is fixed, the result, it's hard to tell if the answer is
>> correct or not. It differs from the answer given in Avgoustis'
>> thesis.)
>>
>
> Can't help you with that, sorry.
>
Sorry, I wasn't asking for help there. I think I know one problem. I
think the code does too many differentiations. The result is really
rather messy and Avgoustis' result seems to have made some assumptions
about the range of the argument.
I also notice that I can't get maxima to simplify sqrt(4*z^2-4*z+1).
Radcan will simplify this to 2*z-1, but that's not the correct answer
because in this |z|<=1/2 in this case.
Ray
> -s
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
>