padic
ordp
the order of a p-adic number
valuep
the p-adic valuation of a p-adic number
Calling Sequence
Parameters
Description
Examples
ordp(a, p)
ordp(a)
valuep(a, p)
valuep(a)
a
-
rational number (2-argument case) or p-adic number (1-argument case)
p
prime number or positive integer greater than 1
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].
withpadic:
a≔234234234975
ordpa,5
2
evalpa,5,7
452+453+56+357+O58
a≔evalpa,5
a≔452+453+56+357+458+259+2511+4512+513+3514+2515+516
b≔evalp−1a2,5
b≔45−4+45−3+25−2+45−1+4+25+453
ordpa
ordpb
−4
ordpab,5
−2
valuepab
52
valuepab,5
5-6
ordpx−y2,5
ordp−y2+x,5
valuepxy2,5
See Also
padic[evalp]
Download Help Document