On Mar. 17, 2012, Barton Willis wrote:
------------------------------
>After the assumptions and before integration, the integrand needs to be
>simplified.
>To fix this, either insert e78 : expand(e78,0,0) before res1 : integrate
>(e78, x78, a78, b78) or
>try res1 : block([?dosimp : t], integrate (e78, x78, a78, b78)). (Maybe
>using ?dosimp this way
>in Maxima code is bad form.)
------------------------------
Thanks for the suggestion, which looks like:
-------------------------
(%i1) mydefint1 (e78, x78, a78, b78) :=
block( [domain : complex, res1, _ans,e781],
_ans : assume (x78 > min(a78,b78), x78 < max(a78,b78)),
e781 : expand (e78,0,0),
res1 : ratsimp (integrate (e781, x78, a78, b78 ) ),
apply ('forget, _ans),
res1)$
(%i2) facts();
(%o2) []
(%i3) mydefint1 ( exp (-abs (x)), x, minf, 0);
(%o3) 1
(%i4) facts();
(%o4) []
(%i5) mydefint1 ( exp (x), x, minf, 0);
(%o5) 1
(%i6) facts();
(%o6) []
------------------------------------------
and thanks for a version using context, which I want to
understand (when I get back from Las Vegas end of
next week).
---------------------------------------------------------
On Mar. 17, 2012, Stavros Macrakis wrote:
-------------------------------------
>This is a bug in integrate:
>[snip]
>I have filed this as bug 3507277
><https://sourceforge.net/tracker/?func=detail&aid=3507277&group_id=4933&atid=104933>;
-------------------
Thanks for the feedback.
Ted