The procedure subsindets is a particular combination of calls to subs and indets that allows you to efficiently transform all subexpressions of a given type by some algorithm. It encapsulates a common "pattern" used in expression manipulation and transformation.

Each subexpression of type atype is transformed by the supplied transformer procedure. Then, each subexpression is replaced in the original expression, using subs (or subs[eval], if the eval option is given), with the corresponding transformed expression.

If the flat option is supplied as an index to the subsindets command, then Maple will not recursively look inside any subexpressions of the given atype for further (nested) subexpressions of that type. This provides a hint to Maple that it can use a somewhat faster algorithm in this special case.

If the flat option is not supplied, then subexpressions of type atype at deeper levels of nesting are processed and replaced before subexpressions at shallower levels of nesting. This is illustrated in an example below.

By default, subsindets uses a cache to avoid repetitive type checking and repeated calls to transformer for multiple instances of the same subexpression (this cache is limited in size, so repeated calls may occur, but there is no guarantee that they will). The nocache option, specified as an index to the subsindets command, prevents the use of this cache and guarantees that transformer will be called once for each instance of any common subexpression matching atype. Note that using the nocache option can dramatically lower the performance of subsindets on expressions containing many common subexpressions.

If subsindets is called with an integer index, N, then each subexpression to be processed by transformer will be passed as the N-th argument to transformer. The sequence of N-1 arguments of subsindets between atype and transformer will be passed as the first N-1 arguments to transformer.

Any number of the options eval, flat, nocache, and N can be given in the index as an expression sequence, and they can be specified in any order.

$\mathrm{subsindets}\left(F\left(G\left(x\right)\,F\left(x\,y\right)\right)\,'\mathrm{specfunc}\left(\mathrm{anything}\,F\right)'\,f\mapsto \mathrm{subsop}\left(0=H\,f\right)\right)$

$H\left(G\left(x\right)\,H\left(x\,y\right)\right)$

$\mathrm{subsindets}\left[\mathrm{flat}\right]\left(F\left(2.3\right)+G\left(4\,1.1\right)\,'\mathrm{float}'\,\mathrm{trunc}\right)$

$F\left(2\right)+G\left(4\,1\right)$

$\mathrm{subsindets}\left[\mathrm{flat}\right]\left(F\left(G\left(x\right)\,F\left(x\,y\right)\right)\,'\mathrm{specfunc}\left(\mathrm{anything}\,F\right)'\,f\mapsto \mathrm{subsop}\left(0=H\,f\right)\right)$

$H\left(G\left(x\right)\,F\left(x\,y\right)\right)$

$\mathrm{subsindets}\left(F\left(G\left(x\right)\,F\left(x\,y\right)\right)\,'\mathrm{specfunc}\left(\mathrm{symbol}\,F\right)'\,f\mapsto \mathrm{subsop}\left(0=H\,f\right)\right)$

$F\left(G\left(x\right)\,H\left(x\,y\right)\right)$

$\mathrm{subsindets}\left(\left[\sin \left(x\right)\,\cos \left(y\right)\,\tan \left(z\right)\right]\,'\mathrm{symbol}'\,y\mapsto y+\mathrm{\pi }\right)$

$\left[\sin \left(x+\mathrm{\pi }\right)\,\cos \left(y+\mathrm{\pi }\right)\,\tan \left(z+\mathrm{\pi }\right)\right]$

$\mathrm{expr}≔\sin \left(x+y\right)+x\left(x+1\right)+\left(x+1\right)\left(x+2\right)$

$\mathrm{expr}≔\sin \left(x+y\right)+x\left(x+1\right)+\left(x+1\right)\left(x+2\right)$

$\mathrm{subsindets}\left(\mathrm{expr}\,'\mathrm{`*`}'\,\mathrm{expand}\right)$

$\sin \left(x+y\right)+2x^2+4x+2$

$\mathrm{expand}\left(\mathrm{expr}\right)$

$\sin \left(x\right)\cos \left(y\right)+\cos \left(x\right)\sin \left(y\right)+2x^2+4x+2$

$\mathrm{subsindets}\left(\sin \left(\left(3+\mathrm{I}\right)\mathrm{\pi }\right)+{\left(x+y\right)}^{100}\,'\sin \left(\mathrm{anything}\right)'\,\mathrm{expand}\right)$

$-\mathrm{I}\sinh \left(\mathrm{\pi }\right)+{\left(x+y\right)}^{100}$

$\mathrm{expr}≔\sin \left(x+y\right)+x\left(x+3\right)+\exp \left(x+1\right)\left(y+2\right)$

$\mathrm{expr}≔\sin \left(x+y\right)+x\left(x+3\right)+{\ⅇ}^{x+1}\left(y+2\right)$

$\mathrm{subsindets}\left(\mathrm{expr}\,'\mathrm{`*`}'\,\mathrm{expand}\right)$

$\sin \left(x+y\right)+x^2+3x+{\ⅇ}^x\ⅇy+2{\ⅇ}^x\ⅇ$

$\mathrm{subsindets}\left(\mathrm{expr}\,'\mathrm{`*`}'\,\mathrm{expand}\,\exp \right)$

$\sin \left(x+y\right)+x^2+3x+{\ⅇ}^{x+1}y+2{\ⅇ}^{x+1}$

$\mathrm{expr}≔\left[a\,b\,3\,4\,c\right]$

$\mathrm{expr}≔\left[a\,b\,3\,4\,c\right]$

$\mathrm{subsindets}\left(\mathrm{expr}\,\mathrm{symbol}\,\mathrm{`^`}\,x\right)$

$\left[a^x\,b^x\,3\,4\,c^x\right]$

$\mathrm{subsindets}\left[2\right]\left(\mathrm{expr}\,\mathrm{symbol}\,x\,\mathrm{`^`}\right)$

$\left[x^a\,x^b\,3\,4\,x^c\right]$

$\mathrm{expr}≔x^2+3x+f\left(x\right)\:$

$\mathrm{count}≔0\:$

subsindets(expr,symbol,proc(s) global count; count:=count+1; cat(s,count) end);

${\mathrm{x1}}^2+3\mathrm{x1}+f\left(\mathrm{x1}\right)$

$\mathrm{count}≔0\:$

subsindets['nocache'](expr,symbol,proc(s) global count; count:=count+1; cat(s,count) end);

${\mathrm{x1}}^2+3\mathrm{x2}+f\left(\mathrm{x3}\right)$

$\mathrm{expr}≔2+f\left(4\,g\left(h\left(6\right)\right)\right)$

$\mathrm{expr}≔2+f\left(4\,g\left(h\left(6\right)\right)\right)$

$\mathrm{subsindets}\left(\mathrm{expr}\,\mathrm{function}\,\mathrm{fn}\mapsto \mathrm{subsindets}\left(\mathrm{fn}\,\mathrm{integer}\,i\mapsto \mathrm{cat}\left(i\,''in''\,\mathrm{op}\left(0\,\mathrm{fn}\right)\right)\right)\right)$

$2+f\left(\mathrm{4\; in\; f}\,g\left(h\left(\mathrm{6\; in\; h}\right)\right)\right)$

The subsindets command was updated in Maple 2015.

The N parameter was introduced in Maple 2015.

The eval and nocache options were introduced in Maple 2015.

For more information on Maple 2015 changes, see Updates in Maple 2015.