From: SourceForge.net <noreply@so...>  20091031 15:27:16

Bugs item #2876382, was opened at 20091011 00:44 Message generated for change (Settings changed) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2876382&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core  Assume Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Dieter Kaiser (crategus) Assigned to: Nobody/Anonymous (nobody) Summary: sign(a+b+sin(1) unknown Initial Comment: We assume a and b positive, sin(1) is positive too. Maxima does not know it for the sum: (%i1) assume(a>0,b>0)$ (%i2) sign(a+b+sin(1)); (%o2) pnz But if we multiply sin(1) with a factor it works: (%i3) sign(a+b+2*sin(1)); (%o3) pos In the routine signsum the sign of every term is determined with a call to the Lisp function sign. But this function does not check for a constant expression. If we call the Lisp function sign1 this error will vanish. Dieter Kaiser  >Comment By: Dieter Kaiser (crategus) Date: 20091031 16:27 Message: Fixed in compar.lisp revision 1.60. We call sign1 and not sign in signsum. Closing this bug report as fixed. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2876382&group_id=4933 