On 6/21/2012 12:07 AM, J?rome Laurens wrote: > 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 think that pattern matching is what you can use. defrule, tellsimp, apply1 and apply2. RJF