From: SourceForge.net <noreply@so...>  20121111 09:54:08

Bugs item #3586183, was opened at 20121111 01:54 Message generated for change (Tracker Item Submitted) made by tomasriker You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3586183&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: Share Libraries Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: David Scherfgen (tomasriker) Assigned to: Nobody/Anonymous (nobody) Summary: conditional_integrate returns redundant conditions Initial Comment: load(abs_integrate); conditional_integrate(a^x + b^x, x); gives: %if(?%and(a1 # 0,b1 # 0),(log(a)*b^x+a^x*log(b))/(log(a)*log(b)), %if(?%and(a1 # 0,b1 = 0),%if(a1 # 0,(log(a)*x+a^x)/log(a),2*x), %if(?%and(a1 = 0,b1 # 0), %if(b1 # 0,(log(b)*x+b^x)/log(b),2*x),2*x))) The second "%if" in the second line (the one testing for "a1 # 0") is redundant, since "a1 # 0" was already checked for in the surrounding "%if". The same holds true for the first "%if" in the last line.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3586183&group_id=4933 