4.13.2 rings.padic - p-adic numbers

The module rings.padic defines the following classes:

class pAdic
The field of p-adic numbers of either finite or infinite precision. We represent p-adic numbers as product (p**r)*unit, where r is an integer or Infinity and unit is a p-adic unit known to some precision. If r=Infinity, then (p**r)*unit is the 0 element.

Binary operations on two elements of Qp reduce the precision of the unit part of the argument with larger precision to that of the one with lesser precision. This applies to all operations, including equality testing, so, e.g., the element O(p) is equal to every p-adic integer, since comparison will truncate the other p-adic integer to precision O(p).



Subsections
See About this document... for information on suggesting changes.