FeynCalc manual (development version)

FRH

FRH[exp_] corresponds to FixedPoint[ReleaseHold, exp], i.e. FRH removes all HoldForm and Hold in exp.

See also

Overview, Isolate.

Examples

Hold[1 - 1 - Hold[2 - 2]]

Hold[Hold[22]+11]\text{Hold}[-\text{Hold}[2-2]+1-1]

FRH[%]

00

Isolate[ToRadicals[Solve[x^3 - x - 1 == 0]], x, IsolateNames -> KK]

{{x  KK(21)},{x  KK(24)},{x  KK(25)}}\{\{x\to \;\text{KK}(21)\},\{x\to \;\text{KK}(24)\},\{x\to \;\text{KK}(25)\}\}

FRH[%]

{{x1327236923+12(9+69)332/3},{x16(1i3)27236923(1+i3)12(9+69)32 32/3},{x16(1+i3)27236923(1i3)12(9+69)32 32/3}}\left\{\left\{x\to \frac{1}{3} \sqrt[3]{\frac{27}{2}-\frac{3 \sqrt{69}}{2}}+\frac{\sqrt[3]{\frac{1}{2} \left(9+\sqrt{69}\right)}}{3^{2/3}}\right\},\left\{x\to -\frac{1}{6} \left(1-i \sqrt{3}\right) \sqrt[3]{\frac{27}{2}-\frac{3 \sqrt{69}}{2}}-\frac{\left(1+i \sqrt{3}\right) \sqrt[3]{\frac{1}{2} \left(9+\sqrt{69}\right)}}{2\ 3^{2/3}}\right\},\left\{x\to -\frac{1}{6} \left(1+i \sqrt{3}\right) \sqrt[3]{\frac{27}{2}-\frac{3 \sqrt{69}}{2}}-\frac{\left(1-i \sqrt{3}\right) \sqrt[3]{\frac{1}{2} \left(9+\sqrt{69}\right)}}{2\ 3^{2/3}}\right\}\right\}