arccoshp - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


p-adic Functions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

sinp(ex, p, s)  or  evalp(sin(ex, p, s))

sinp(ex, p)  or  evalp(sin(ex, p))

sinp(ex)

...

Parameters

ex

-

expression of rational numbers and p-adic numbers

p

-

prime number or positive integer

s

-

positive integer

Description

• 

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>).

Examples

> 

with⁡padic&colon;

> 

cosp⁡3&comma;3

1+32+2⁢34+36+2⁢37+38+O⁡39

(1)
> 

cosp⁡3+&comma;3

FAIL

(2)
> 

cos⁡3

cos⁡3

(3)
> 

evalf⁡

−0.9899924966

(4)
> 

evalp⁡&comma;3

1+32+2⁢34+36+2⁢37+38+O⁡39

(5)
> 

Digitsp≔8

Digitsp≔8

(6)
> 

evalp⁡exp⁡3&comma;3

1+3+32+2⁢33+2⁢34+36

(7)
> 

logp⁡

3+O⁡38

(8)
> 

arctanp⁡x&comma;p&comma;10

arctanp⁡x&comma;p&comma;10

(9)
> 

eval⁡&comma;x=6&comma;p=3

2⁢3+32+2⁢34+2⁢38

(10)
> 

op⁡

p_adic⁡3&comma;1&comma;2&comma;1&comma;0&comma;2&comma;0&comma;0&comma;0&comma;2&comma;0&comma;0

(11)
> 

evalp⁡

2⁢3+32+2⁢34+2⁢38

(12)

See Also

padic

padic[evalp]

padic[valuep]