I have defined mydefint2, which uses your mydefint,
but I am still getting unwanted messages that the limits
of integration should answer, as in:
-------------------------------------------------------
(%i20) mydefint2 (1/sqrt(x+y),[x,0,1],[y,0,1]);
Is x+1 positive, negative, or zero?
p;
Is x positive or negative?
p;
(%o20) (2^(7/2)-8)/3
(%i21) float(%);
(%o21) 1.1045695
-----------------------------------
The definitions I am using are:
--------------------------
load("unwind_protect.lisp")$
simp_assuming(e, [fcts]) ::=
buildq([e,fcts], unwind_protect((apply(assume, fcts), expand(e,0,0)),
apply(forget,fcts)))$
mydefint(e78,x78,a78,b78) :=
block ([domain:complex],
ratsimp (simp_assuming
(integrate(e78,x78,a78,b78), x78 >= a78, x78 <= b78)))$
mydefint2(qe,qxL,qyL) :=
block([qrr],
assume (not equal (qxL[1],0)),
qrr : apply('mydefint,
flatten([apply('mydefint,
flatten([qe,qyL])),qxL])),
forget (not equal (qxL[1],0)),
qrr)$
------------------------------------------------
Can you think of other definitions which could avoid these
questions?
Ted