How to get 'exact' expression for result

I have a result from Mathematica for which want to have the exact expression, i.e. all of the arguments of type # replaced. It is given by:

{ a > 0,
Inequality[ 0, Less, r, LessEqual, Root[a^3 #1^2 + a^2 #1^4 - 22 a #1^6 + #1^8 & , 5]]}

where a and r are the only two variables. What exactly does the #1 mean here? To which variables does it refer? How do I make Mathematica replace all these place holders with its corresponding variable?

• Use e.g. Root[a^3 #1^2 + a^2 #1^4 - 22 a #1^6 + #1^8 &, 5] // ToRadicals. However in general one cannot express Root objects in terms of radicals since it is mathematically impossible. See e.g. How do I work with Root objects? – Artes Jul 12 '13 at 11:20

Root objects are just exact expressions, if possible one can express them in terms of radicals (e.g. with ToRadicals). To deal with inequalities the best approach might be Reduce:

ToRadicals @ Reduce[{ a > 0,
Inequality[0, Less, r, LessEqual,
Root[a^3 #1^2 + a^2 #1^4 - 22 a #1^6 + #1^8 &, 5]]},
a] // ComplexExpand
r > 0 && a >= -(r^2/3) + 2/3 Sqrt r^2 Sin[1/3 ArcTan[227/(3 Sqrt)]] 