The function ratvaluep returns a rational number which is the sum of the first n terms of the p-adic number ex. If ex is a rational number then it returns ex itself.

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

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

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

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

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

$\mathrm{Digitsp}≔13$

$\mathrm{Digitsp}≔13$

$a≔\mathrm{rootp}\left(f\,5\right)$

$a≔45^{\mathrm{-2}}+45^{\mathrm{-1}}+25+35^2+35^4+35^5+5^6+35^7+45^8+25^9+O\left(5^{10}\right)$

$\mathrm{ratvaluep}\left(a\,10\right)$

$\frac{6533399}{25}$