If expr is an unevaluated function call, such as Gcd(u,v), the function is performed in the smallest algebraic number (or function) field possible. Otherwise, evala(Normal(expr)) is computed.

The following placeholders are accepted by evala and described in the documentation.  For example, to find further help on the Gcd command see ?evala,Gcd

The algebraic numbers and functions must be represented with the RootOf notation.   For example, the algebraic number  is represented by  and the algebraic function  is represented by .

The evala command supports a second argument opts, which is an option or a set of options to be passed to the appropriate function. The help pages for the placeholders describe the options that are currently accepted.

In some cases, evala checks that the RootOfs are independent. If relations are found, an error occurs. The relations are accessible through the variable lasterror. The independence checking is performed if the function is one of the following:

However, you can instruct evala to skip this independence checking by adding the option 'independent' to the option set opts.

Information about the execution of the function can be displayed by setting infolevel[evala] to a positive integer. Likewise, assigning a positive integer to infolevel[function], where function is one the placeholders, causes Maple to print selected information about computations involving function.

Error, (in evala/Normal/preproc) reducible RootOf detected.  Substitutions are {RootOf(_Z^2-u) = RootOf(_Z^2-u*v)*RootOf(_Z^2-v)/v, RootOf(_Z^2-u) = -RootOf(_Z^2-u*v)*RootOf(_Z^2-v)/v}