# [Maxima] mydefint2

Edwin Woollett woollett at charter.net
Mon Mar 12 13:54:11 CDT 2012

```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

```

More information about the Maxima mailing list