19 Jul
2019
19 Jul
'19
8:21 p.m.
On Fri, 19 Jul 2019 19:59:09 +0200, Dario Pellegrini <pellegrini.dario@gmail.com> said:
DP> I noticed that GiNaC does not apply the simplification: DP> cos(x)^2+sin(x)^2 = 1 for any x in R Is there any way for me to DP> force this substitution in my expressions? That would greatly DP> simplify them... The following works for me: .subs(power(cos(wild(0)),2)==1-power(sin(wild(0)),2),subs_options::algebraic).normal(); -- Vladimir V. Kisil http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://goo.gl/EaG2Vu Software: Geometry of cycles http://moebinv.sourceforge.net/