[Maxima] Half-angle-simplification of trig functions

[Stefano Ferri]

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