Le 22 juin 2012 ? 07:08, Robert Dodier a ?crit :
> Here is an attempt at applying Fubini's theorem. [...]
Exactly the kind of things I am missing from the doc.
I'll try to adapt this with 3 variables t, x, y as an exercise,
coming back if I have problems.
> 1
> (%o9) --------------------------- + 1
> bu bv
> / /
> [ [
> I I foo(u, v) dv du + 1
> ] ]
> / /
> au av
>
>
>> With subst variants we can make a substitution only occur in one specific argument,
>> for example only in the lower bound of an integrate command.
>> But is there a tool to find the number arguments of substpart based on general criteria,
>> for example "the lower bounds of the integrals subexpression in variable 't'"
>
> I don't understand what you mean by this. Can you give an example?
For example to get av from %o9 above, I would look for "the lower bound of the integral subexpression in v".
That would give me the correct index path, wherever the integral is located in the expression tree.
JL