Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

## [Maxima-bugs] [ maxima-Bugs-3586183 ] conditional_integrate returns redundant conditions

 [Maxima-bugs] [ maxima-Bugs-3586183 ] conditional_integrate returns redundant conditions From: SourceForge.net - 2012-11-11 09:54:08 ```Bugs item #3586183, was opened at 2012-11-11 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(a-1 # 0,b-1 # 0),(log(a)*b^x+a^x*log(b))/(log(a)*log(b)), %if(?%and(a-1 # 0,b-1 = 0),%if(a-1 # 0,(log(a)*x+a^x)/log(a),2*x), %if(?%and(a-1 = 0,b-1 # 0), %if(b-1 # 0,(log(b)*x+b^x)/log(b),2*x),2*x))) The second "%if" in the second line (the one testing for "a-1 # 0") is redundant, since "a-1 # 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 ```

### Thread view

 [Maxima-bugs] [ maxima-Bugs-3586183 ] conditional_integrate returns redundant conditions From: SourceForge.net - 2012-11-11 09:54:08 ```Bugs item #3586183, was opened at 2012-11-11 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(a-1 # 0,b-1 # 0),(log(a)*b^x+a^x*log(b))/(log(a)*log(b)), %if(?%and(a-1 # 0,b-1 = 0),%if(a-1 # 0,(log(a)*x+a^x)/log(a),2*x), %if(?%and(a-1 = 0,b-1 # 0), %if(b-1 # 0,(log(b)*x+b^x)/log(b),2*x),2*x))) The second "%if" in the second line (the one testing for "a-1 # 0") is redundant, since "a-1 # 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 ```