minimal polynomial of an algebraic number (or function)
evala(Minpoly(a, x, K))
algebraic number or function
(optional) set of algebraic numbers or functions defining an extension field
The Minpoly function is a placeholder for representing the minimal polynomial of an algebraic number (or function) a. It is used in conjunction with evala.
The call evala(Minpoly(a, x)) computes the monic minimal polynomial of a in the variable x over the field of rational numbers (or multivariate rational functions). The resulting polynomial will not contain any algebraic numbers or functions.
The call evala(Minpoly(a, x, K)) computes the monic minimal polynomial of a in the variable x over the field F resulting from an extension of the rational numbers (or multivariate rational functions) by the algebraic numbers (or functions) in K. The resulting polynomial will only contain algebraic numbers or functions from F in its coefficients.
The variable x cannot occur in either a or K; otherwise, an error will be raised.
The algebraic numbers and functions in both a and K can be given either in radical or RootOf notation. A mixture or radicals and RootOfs is not supported. The coefficients of the resulting polynomial will be returned in the same form as K (if specified).
If the algebraic numbers and functions in K do not form a syntactical subset of the algebraic numbers and functions occurring in a, evala/Algfield will be used to rewrite a as an element of an appropriate extension field of F. This may not always succeed, and as a result, the polynomial returned may not be of minimal degree in that case.
Specifying an extension field.
Using radical instead of RootOf notation:
f ≔ evala⁡Minpoly⁡−114,x,2
If the algebraic numbers and functions are not independent, i.e., they do not form a field, or if the algebraic numbers and functions in K do not occur in a, the resulting polynomial may not be of minimal degree. In the following example, Maple is unable to tell whether β2 equals sqrt2 or -sqrt2.
In this example, using an indexed RootOf will help.
The evala/Minpoly command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
Download Help Document