p-adic Functions
Calling Sequence
Parameters
Description
Examples
sinp(ex, p, s) or evalp(sin(ex, p, s))
sinp(ex, p) or evalp(sin(ex, p))
sinp(ex)
...
ex
-
expression of rational numbers and p-adic numbers
p
prime number or positive integer
s
positive integer
The following functions evaluate the p-adic version of the corresponding real-valued function (obtained by dropping the final p from the name).
sinp
cosp
tanp
cscp
secp
cotp
sinhp
coshp
tanhp
cschp
sechp
cothp
arcsinp
arccosp
arctanp
arccscp
arcsecp
arccotp
arcsinhp
arccoshp
arctanhp
arccschp
arcsechp
arccothp
expp
logp
sqrtp
sinp is a short form for evalp@sin, and similarly for each of the other functions above.
The parameter s sets the size of the resulting expression, where "size" means the number of terms of the p-adic number which will be printed. If omitted, it defaults to the value of the global variable Digitsp, which is initially assigned the value 10.
The expression ex can contain any of the operations +, -, *, /, ^, and any of the functions defined in the padic package.
If the second and third arguments are omitted, then the expression ex must be a p-adic number.
If the result of the computation is not convergent in the p-adic field, then the routine returns FAIL.
See padic[evalp] for an explanation of the representation of p-adic numbers in Maple.
These functions are part of the padic package, and so can only be used after performing the command with(padic) or with(padic,<function-name>).
with⁡padic:
cosp⁡3,3
1+32+2⁢34+36+2⁢37+38+O⁡39
cosp⁡3+,3
FAIL
cos⁡3
evalf⁡
−0.9899924966
evalp⁡,3
Digitsp≔8
evalp⁡exp⁡3,3
1+3+32+2⁢33+2⁢34+36
logp⁡
3+O⁡38
arctanp⁡x,p,10
eval⁡,x=6,p=3
2⁢3+32+2⁢34+2⁢38
op⁡
p_adic⁡3,1,2,1,0,2,0,0,0,2,0,0
evalp⁡
See Also
padic
padic[evalp]
padic[valuep]
Download Help Document