I wanted to ask for some assistance in using fricas to
perform some specific trigonometric simplifications.
(1) The relevant fricas commands or re-write rules to perform
the following simplifications.
t1 = cos(x)*sin(y)-sin(x)*cos(y) to sin(y-x),
t2 = cos(x)*cos(y)-sin(x)*sin(y) to cos(x+y).
(2) I have expressions which are sums of products of the
above-mentioned terms. For example,
expr = t1*cos(x3) + 5 + tan(q)*tan(w) + t2*w*cos(a)
+ t1*t2*r3
How can fricas commands be applied in order to simplify
expr to
expr_s = sin(y-x)*cos(x3) + 5 + tan(q)*tan(w) +
cos(x+y)*w*cos(a) + sin(y-x)*cos(x+y)*r3 ?
Thanks very much.
Regards,
Constantine Frangos.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
