On 1 January 2011 22:46, Richard Fateman <fateman at eecs.berkeley.edu> wrote:
>> On 1/1/2011 2:49 AM, Pouya D. Tafti wrote:
>> Hi,
>>
>> I am very new to maxima and CAS in general, and also to this list. So
>> I hope you will excuse me if my question happens to be trivial.
>
> It doesn't look that the question is trivial. Or at least the answer is not.
>
> Your rules will probably not work in sufficient > generality because you need
> to
> deal with situations in which you have <something>*gamma(..)*gamma(..), ?and
> for the
> rule to succeed you need to match <something> ?also.
> It would probably help if you specified z ahead of time, e.g.
> gammasimp(f,z) := ...
>
> You should realize that you are not specifying rules for gamma, really. ?You
> are
> specifying rules for multiplication, and as such, they will affect the speed
> of
> simplifying '*' ?everywhere.
[...]
Thank you very much for your response. I re-used the idea of
specifying z ahead of time somewhere else and it really helped.
I think I shall try to educate myself about lambda calculus (and LISP)
when I find the time in order to use maxima effectively.
Other than that, would share/trigonometry/trgsmp.mac be a good example
to follow for what I am trying to do?
Thanks again,
Pouya