The convert/RootOf function changes all occurrences of radicals (may be algebraic constants or functions), to indexed RootOf notation.

Usually, the radical , for integers p < m, is transformed into the expression RootOf(_Z^m-A,index=1)^p.

I is replaced by RootOf(_Z^2+1,index=1)

This function is mapped recursively over expressions. In particular, nested radicals are converted. If the input expression is an unnamed table then the conversion routine is mapped onto the elements of the table.

This function uses radfield to convert radicals into independent RootOfs.

To convert RootOf notation to I and radicals (where possible) use convert(expr, radical).