Macaulay2 » Documentation
Packages » Padic » PadicNumber » PadicNumber << ZZ » PadicNumber >> ZZ

next | previous | forward | backward | up | index | toc

PadicNumber >> ZZ -- divide a p-adic number by a power of p

Operator: >>
Usage:

x >> n
Inputs:
- x, a p-adic number,
- n, an integer,
Outputs:
- a p-adic number, x divided by p^n;

Description

Returns $x / p^n = x \cdot p^{-n}$, shifting the $p$-adic expansion right by $n$ places. A negative shift multiplies by $p^{|n|}$.

i1 : QQ_7 3 >> 2

o1 = 3*7^-2

o1 : QQ  (of precision 20)
       7

i2 : QQ_7 3 >> -1

o2 = 3*7^1

o2 : QQ  (of precision 20)
       7

See also

PadicNumber << ZZ -- multiply a p-adic number by a power of p

Ways to use this method:

PadicNumber >> ZZ -- divide a p-adic number by a power of p

The source of this document is in Padic.m2:793:0.