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 $K$ 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.

$\mathrm{alias}\left(\mathrm{sqrt2}=\mathrm{RootOf}\left(x^2-2\,\mathrm{index}=1\right)\right)\:$

$\mathrm{alias}\left(i=\mathrm{RootOf}\left(x^2+1\,\mathrm{index}=1\right)\right)\:$

$\mathrm{alias}\left(\mathrm{sqrty}=\mathrm{RootOf}\left(x^2-y\,x\right)\right)\:$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(1+\mathrm{sqrt2}\,x\right)\right)$

$x^2-2x-1$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{sqrt2}+\mathrm{sqrty}\,x\right)\right)$

$x^4-2\left(y+2\right)x^2+y^2-4y+4$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{sqrt2}\mathrm{sqrty}\,x\right)\right)$

$x^2-2y$

$\mathrm{alias}\left(\mathrm{\alpha }=\mathrm{RootOf}\left(x^4+1\,\mathrm{index}=1\right)\right)\:$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{\alpha }\,x\,i\right)\right)$

$x^2-i$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{\alpha }\,x\,\mathrm{sqrt2}\right)\right)$

$-\mathrm{sqrt2}x+x^2+1$

$\mathrm{evala}\left(\mathrm{Minpoly}\left({\left(-1\right)}^{\frac{1}{4}}\,x\,\mathrm{I}\right)\right)$

$x^2-\mathrm{I}$

$f≔\mathrm{evala}\left(\mathrm{Minpoly}\left({\left(-1\right)}^{\frac{1}{4}}\,x\,\mathrm{sqrt}\left(2\right)\right)\right)$

$f≔-\sqrt{2}x+x^2+1$

$\mathrm{eval}\left(f\,x={\left(-1\right)}^{\frac{1}{4}}\right)$

$-\sqrt{2}{\left(\mathrm{-1}\right)}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$4$}\right.}+1+\mathrm{I}$

$\mathrm{radnormal}\left(\right)$

$0$

$\mathrm{alias}\left(\mathrm{\beta }=\mathrm{RootOf}\left(x^4-2\right)\right)\:$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{\beta }\,x\,\mathrm{sqrt2}\right)\right)$

$x^4-2$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{RootOf}\left(x^4-2\,\mathrm{index}=1\right)\,x\,\mathrm{sqrt2}\right)\right)$

$x^2-\mathrm{sqrt2}$

$\mathrm{evala}\left(\mathrm{Minpoly}\left(\mathrm{RootOf}\left(x^4-2\,\mathrm{index}=2\right)\,x\,\mathrm{sqrt2}\right)\right)$

$x^2+\mathrm{sqrt2}$

The evala/Minpoly command was introduced in Maple 2020.

For more information on Maple 2020 changes, see Updates in Maple 2020.