|
padic[ordp] - the order of a p-adic number
padic[valuep] - the p-adic valuation of a p-adic number
|
|
Calling Sequence
|
|
ordp(a, p)
ordp(a)
valuep(a, p)
valuep(a)
|
|
|
Parameters
|
|
|
a
|
-
|
rational number (2-argument case) or p-adic number (1-argument case)
|
|
p
|
-
|
prime number or positive integer
|
|
|
|
|
|
Description
|
|
|
•
|
The ordp command computes the p-adic order of the p-adic number a (evalp(a, p) in the 2-argument case), which is the degree of the leading term.
|
|
•
|
The valuep command computes the p-adic valuation of the p-adic number a (evalp(a, p) in the 2-argument case), which is 1/p^ordp(a).
|
|
•
|
For an explanation of the representation of p-adic numbers in Maple, see padic[evalp].
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
|
|
| (9) |
|
>
|
|
|
| (10) |
|
>
|
|
|
| (11) |
|
>
|
|
|
| (12) |
|
|
Download Help Document
Was this information helpful?
