This function computes all roots in the given p-adic number field of the polynomial pol.

The parameter s sets the size of the resulting expression, where "size" means the number of terms of the p-adic number which will be printed.  If omitted, it defaults to the value of the global variable Digitsp, which is initially assigned the value 10.

See padic[evalp] for an explanation of the representation of p-adic numbers in Maple.

The command with(padic,rootp) allows the use of the abbreviated form of this command.

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

$\mathrm{rootp}\left(x^{25}-1\,5\right)$

$1$

$\mathrm{rootp}\left(x^2+1\,5\right)$

$3+35+25^2+35^3+5^4+25^6+5^7+45^8+O\left(5^9\right),2+5+25^2+5^3+35^4+45^5+25^6+35^7+O\left(5^9\right)$

$\mathrm{rootp}\left(x^2+1\,3\right)$

$f≔75x^3+3x^2+8x+3$

$f≔75x^3+3x^2+8x+3$

$\mathrm{evalp}\left(\mathrm{RootOf}\left(f\right)\,5\,15\right)$

$45^{\mathrm{-2}}+45^{\mathrm{-1}}+25+35^2+35^4+35^5+5^6+35^7+45^8+25^9+25^{10}+45^{11}$