padic[expansion] - p-adic expansion
|
Calling Sequence
|
|
expansion(ex, p, x, s)
expansion(ex, p, x)
|
|
Parameters
|
|
ex
|
-
|
rational function
|
p
|
-
|
irreducible (or square-free) polynomial or 1/x (or infinity)
|
x
|
-
|
independent variable
|
s
|
-
|
(optional) a positive integer
|
|
|
|
|
Description
|
|
•
|
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.
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
|
|
Download Help Document
Was this information helpful?