On 12/8/06, Raymond Toy <raymond.toy at ericsson.com> wrote:
> Neilen> Would I be correct in guessing that Maxima would have been able to figure out
> Neilen> what you passed in the assume() above if it had a built in multiple integral
> Neilen> routine that could consider all the integral limits simultaneously?
>
> I think that would be a simple matter of programming. :-) Someone
> would have to modify the definite integration routines to inform
> maxima about the range of the variables. I think it would be fairly
> difficult for maxima to figure out that 1 - x1 - x2 > 0.
The sum/product code substitutes a gensym for the index of
summation and then calls assume to assert that the gensym
is between the limits of summation. This helps Maxima
simplify some summands. It seems the integration code
could do likewise.
All the best,
Robert