carg((sqrt(3)*%i+3)/2) returns atan(sqrt(3)/3), which is unsimplified; expand(%) correctly gives %pi/6.
The argument sqrt(3)/3 should have been simplified to 3^(-1/2) == 1/sqrt(3).
Dan Gildea
2008-11-30
What version are you using?
Works for me in curent cvs - I think this was fixed in trigi.lisp rev 1.30.
Stavros Macrakis
2008-11-30
Sorry, I forgot to mention the Maxima version: 5.15.0 GCL Windows.
Dan Gildea
2008-11-30