Dear all,
I sometimes get as an intermediate solution of a calculation atan2(0,x).
When x:5, then trigreduce knows that atan2(0,5) = 0, but when x is defined as
a constant or nothing is assumed on x, then atan2 stays.
I don't speak lisp, but I think the simplification atan2(0,x)=0 can be done by
adding something in comm2.lisp?
Best,
NB