Subject: Half-angle-simplification of trig functions
From: Stefano Ferri
Date: Tue, 06 Jan 2009 11:17:01 +0100
In your code there are some "assume" in wich you used integer multiples
of %pi, like
(assume(x1>0,x1<2*%pi),done);
did it work correctly? You said
> Remark: Better would be %pi as upper limit, but this does not work!
> Is this related to known problems with assume?
Your code needs to bound variables within multiples of %pi, are the problems you mentioned the ones reported here?
http://sourceforge.net/tracker/index.php?func=detail&aid=2477795&group_id=4933&atid=104933
I reported this as a bug (if it is a bug, but I think so...)
Stefano