acc 

desired accuracy of the approximation

digits : posint

A value for Digits to be used for all numerical computations.

The MinimalPolynomial and AnnihilatingPolynomial functions find a polynomial with integer coefficients which has the algebraic number r as one of its roots.

If r is an exact algebraic number, and n and acc are not given, then MinimalPolynomial calls evala/Minpoly to compute an exact minimal polynomial of r.

Otherwise the AnnihilatingPolynomial and MinimalPolynomial functions, use a lattice-based algorithm to find a polynomial of degree n (or less) with small integer coefficients which has the given approximation r of an algebraic number as one of its roots.  They differ in that, the output of MinimalPolynomial is guaranteed to be an irreducible polynomial, while the output of AnnihilatingPolynomial is the raw output of the lattice algorithm.

If a name is not specified for the variable x, then $\mathrm{\_X}$ is used.

The root r may be real or complex.  It may be input as a floating-point approximation to a root or as an exact algebraic number.  In the latter case, if an approximate algorithm is being used, r will first be evaluated in floating point at Digits precision using evalf.

The value $\mathrm{acc}\left|f\left(r\right)\right|$ is given the same weight as the coefficients in determining $f$, the minimal polynomial. If it is not specified, the default value for acc is $\frac{{10}^{\mathrm{Digits}-2}}{\max \left(1\,\left|r^n\right|\right)}$.  Larger values indicate the desire for better approximations.

This function is part of the PolynomialTools package, and so it can be used in the form MinimalPolynomial(..) only after executing the command with(PolynomialTools). However, it can always be accessed through the long form of the command by using PolynomialTools[MinimalPolynomial](..).

$\mathrm{with}\left(\mathrm{PolynomialTools}\right)\:$

$\mathrm{rf}≔\mathrm{evalf}\left(1+\mathrm{sqrt}\left(2\right)\right)$

$\mathrm{rf}≔2.414213562$

$\mathrm{MinimalPolynomial}\left(\mathrm{rf}\,x\,2\right)$

$x^2-2x-1$

$r≔1+\mathrm{sqrt}\left(2\right)$

$r≔1+\sqrt{2}$

$\mathrm{MinimalPolynomial}\left(\frac{r}{10}\,x\right)$

$100x^2-20x-1$

$\mathrm{MinimalPolynomial}\left(\frac{r}{10}\,x\,25\right)$

$25x^{12}+8x^{11}-7x^{10}-21x^9+14x^8-2x^7+9x^6+14x^5+5x^4-4x^3+4x^2-5x+1$

$\mathrm{AnnihilatingPolynomial}\left(\frac{r}{10}\,x\,25\,{10.}^{10}\right)$

$x^{16}$

$\mathrm{AnnihilatingPolynomial}\left(\frac{r}{10}\,x\,25\,{10.}^{25}\right)$

$x^{21}-x^{19}+2x^{18}+2x^{17}+8x^{16}+4x^{15}-x^{14}+4x^{13}-3x^{12}-3x^{11}-6x^{10}-5x^9-4x^8+3x^7+x^6-8x^5+4x^3-5x^2+x$

$\mathrm{MinimalPolynomial}\left(1.234\,3\right)$

$22{\mathrm{\_X}}^3-5{\mathrm{\_X}}^2+61\mathrm{\_X}-109$

$\mathrm{fsolve}\left(\,\mathrm{\_X}\right)$

$1.234000001$

$s≔\mathrm{sqrt}\left(2\right)+\mathrm{sqrt}\left(-3\right)$

$s≔\sqrt{2}+\mathrm{I}\sqrt{3}$

$\mathrm{MinimalPolynomial}\left(s\,x\right)$

$x^4+2x^2+25$

$\mathrm{MinimalPolynomial}\left(s\,x\,4\right)$

$x^4+2x^2+25$

$t≔\mathrm{add}\left(\mathrm{sqrt}\left({\left(-1\right)}^{i+1}\mathrm{ithprime}\left(i\right)\right)\,i=1..3\right)$

$t≔\sqrt{2}+\mathrm{I}\sqrt{3}+\sqrt{5}$

$P≔\mathrm{CodeTools}:-\mathrm{Usage}\left(\mathrm{MinimalPolynomial}\left(t\,x\right)\right)$

memory used=5.16MiB, alloc change=0 bytes, cpu time=60.00ms, real time=60.00ms, gc time=0ns

$P≔x^8-16x^6+184x^4+960x^2+3600$

$\mathrm{CodeTools}:-\mathrm{Usage}\left(\mathrm{MinimalPolynomial}\left(t\,x\,\mathrm{degree}\left(P\,x\right)\right)\right)$

memory used=1.86MiB, alloc change=28.00MiB, cpu time=111.00ms, real time=111.00ms, gc time=82.35ms

$2x^7-15x^6+38x^5+6x^4-177x^3+453x^2+139x-146$

$\mathrm{CodeTools}:-\mathrm{Usage}\left(\mathrm{MinimalPolynomial}\left(t\,x\,\mathrm{degree}\left(P\,x\right)\,\mathrm{digits}=25\right)\right)$

memory used=2.64MiB, alloc change=0 bytes, cpu time=29.00ms, real time=29.00ms, gc time=0ns

$x^8-16x^6+184x^4+960x^2+3600$

The output of MinimalPolynomial(r, n, acc) prior to Maple 18 used the variable $x$.  As of Maple 18, the default variable used is $\mathrm{\_X}$. You can change this using the x argument.

As of 2020, MinimalPolynomial(r, x) calls evala(Minpoly(r,x)) if r is an exact algebraic number. To force the previous behavior, r can be replaced with evalf(r) in the calling sequence or an explicit degree bound can be passed as a second or third argument.

The PolynomialTools[AnnihilatingPolynomial] command was introduced in Maple 18.

The PolynomialTools[MinimalPolynomial] command was updated in Maple 18.

The x parameter was introduced in Maple 18.

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

The r parameter was updated in Maple 2020.

The 'digits' option was introduced in Maple 2020.

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