手続き subsindets は、subs と indets への呼び出しの特定の組合せであり、あるアルゴリズムにより、与えられた型を持つすべての部分式を効率的に変換することができます。これは、式の操作と変換で使用される共通の「パターン」をまとめています。

型 atype を持つ任意の部分式は、その「置き換え」を作成するため、与えられている transformer 手続きにより変換されます。そして、それぞれの部分式は、subs を用いて対応する変換された式で置き換えられます。

subsindets( F( G( x ), F( x, y ) ), 'specfunc( anything, F )', f -> subsop( 0 = H, f ) );

subsindets( F( G( x ), F( x, y ) ), 'specfunc( symbol, F )', f -> subsop( 0 = H, f ) );

subsindets( [sin( x ), cos( y ), tan(z)], 'symbol', y -> y + Pi );

expr := sin(x+y) + x*(x+1)+(x+1)*(x+2);

subsindets( expr, '`*`', expand );

expand( expr );

subsindets( sin((3+I)*Pi) + (x+y)^100, 'sin( anything )', expand );