Isolate[expr]
substitutes abbreviations KK[i]
for all Plus[...]
(sub-sums) in expr
. The inserted KK[i]
have head HoldForm
. Isolate[expr, varlist]
substitutes KK[i]
for all subsums in expr
which are free of any occurrence of a member of the list varlist
. Instead of KK
any other head or a list of names of the abbreviations may be specified with the option IsolateNames
.
Overview, IsolateNames, Collect2.
= Isolate[a + b] t0
\text{KK}(19)
= Isolate[(a + b) f + (c + d) f + e, f] t1
e+f \;\text{KK}(19)+f \;\text{KK}(20)
StandardForm[t1]
e+f \;\text{KK}[19]+f \;\text{KK}[20]
{t0, t1, ReleaseHold[t1]}
\{\text{KK}(19),e+f \;\text{KK}(19)+f \;\text{KK}(20),f (a+b)+f (c+d)+e\}
[a[z] (b + c (y + z)) + d[z] (y + z), {a, d}, IsolateNames -> fF] Isolate
\text{fF}(22) a(z)+\text{fF}(21) d(z)
Information[fF]
Global`fF
\text{fF}
[26] = y + z fF
y+z
[27] = b + c HoldForm[fF[26]] fF
b+c \;\text{fF}(26)
[a - b - c - d - e, IsolateNames -> l, IsolateSplit -> 15] Isolate
l(24)
Clear[t0, t1, l, fF]