This function computes the p-adic expansion of a rational function ex.

The parameter s sets the size of the resulting expression, where "size" means the number of terms of the p-adic expansion which will be printed.  If omitted, it defaults to number 6.

A p-adic expansion is represented in Maple using the unevaluated function call PADIC() whose argument is another unevaluated function of the form p_adic() which has three arguments. The first argument is the polynomial p or 1/x. The second argument is the p-adic order at p. The third argument is the list of coefficients. For example,

represents the p-adic expansion

The print routine print/PADIC is used by the prettyprinter to format the p-adic expansion on screen.

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