trigsimp supplement?
- Subject: trigsimp supplement?
- From: Richard Fateman
- Date: Sat, 23 Aug 2008 13:22:10 -0700
try ratsubst(1,sin(x)^2+cos(x)^2,%);
I got [1, -1, 1, -1, 1, -1, 1, -1]
similarly, %,exponentialize,ratsimp;
RJF
> -----Original Message-----
> From: maxima-bounces at math.utexas.edu
> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of Edwin Woollett
> Sent: Saturday, August 23, 2008 1:01 PM
> To: maxima mailing list
> Subject: trigsimp supplement?
>
> I am looking for more power in simplifying expressions
> using cos(x)^2 + sin(x)^2 = 1.
>
> My candidate so far is:
>
> ts1(expr):=
> (trigreduce(expr),trigexpand(%%),trigsimp(%%) )$
>
> A comparison test is:
>
> (%i17) display2d:false$
>
> (%i18) map('trigsimp, [sin(x)^2/(1-cos(x)^2), sin(x)^2/(cos(x)^2-1),
> (1-cos(x)^2)/sin(x)^2, (cos(x)^2-1)/sin(x)^2,
> cos(x)^2/(1-sin(x)^2),
> cos(x)^2/(sin(x)^2-1), (1-sin(x)^2)/cos(x)^2,
> (sin(x)^2-1)/cos(x)^2]);
>
> (%o18) [-sin(x)^2/(cos(x)^2-1), sin(x)^2/(cos(x)^2-1), 1,
> (cos(x)^2-1)/sin(x)^2,
> -cos(x)^2/(sin(x)^2-1), cos(x)^2/(sin(x)^2-1), 1,
> (sin(x)^2-1)/cos(x)^2]
>
> (%i19) map('ts1,[sin(x)^2/(1-cos(x)^2), sin(x)^2/(cos(x)^2-1),
> (1-cos(x)^2)/sin(x)^2, (cos(x)^2-1)/sin(x)^2,
> cos(x)^2/(1-sin(x)^2),
> cos(x)^2/(sin(x)^2-1), (1-sin(x)^2)/cos(x)^2,
> (sin(x)^2-1)/cos(x)^2]);
>
> (%o19) [1, -1, 1, -1, 1, -1, 1, -1]
>
> Is there a simpler way to get the same simplifying power?
>
> Ted Woollett
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>