[Maxima-bugs] [ maxima-Bugs-659072 ] trigsimp fails in simplest case

[SourceForge.net <no...@so...>]

Bugs item #659072, was opened at 2002-12-27 10:29
Message generated for change (Comment added) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=659072&group_id=4933

>Category: Lisp Core
Group: None
Status: Open
>Resolution: Works For Me
Priority: 5
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: trigsimp fails in simplest case

Initial Comment:
In Maxima 5.5 GCL Windows.

trigsimp(sin(x)^2+cos(x)^2) fails to simplify, even though 
the online doc explicitly says it "employs the identities 
sin(x)^2 + cos(x)^2 = 1".

True, it also says "...so that further simplification may 
be obtained by using TRIGREDUCE on the result".

I suggest removing the reference to the s2+c2=1 
identity, and instead saying:

"normally TrigSimp should be followed by TrigReduce 
and RatSimp or RadCan for full simplification"

I also think that something called TrigSimp should be 
able to handle this case....  Perhaps its name should be 
changed if it's less ambitious than a general 
trigonometric simplifier....

----------------------------------------------------------------------

>Comment By: Robert Dodier (robert_dodier)
Date: 2005-05-05 08:57

Message:
Logged In: YES 
user_id=501686

Appears to have been fixed somewhere along the way: CVS
Maxima on clisp, 5.9.1 official release on cmucl, and CVS on
gcl (all linux) all yield 1 for trigsimp(sin(x)^2+cos(x)^2) .

Leaving this report open pending verification on Windows.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=659072&group_id=4933