[GiNaC-list] trigonometric identity s2+c2=1

[Dario Pellegrini]

I noticed that GiNaC does not apply the simplification:
cos(x)^2+sin(x)^2 = 1 for any x in R
Is there any way for me to force this substitution in my expressions? That
would greatly simplify them...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cebix.net/pipermail/ginac-list/attachments/20190719/0fceaca6/attachment.html>