Padic : Table of Contents

• Padic -- p-adic numbers
  • PadicFieldFamily -- class for p-adic fields
    • prime -- prime of a p-adic field or number
  • PadicNumber -- base class for p-adic numbers
    • precision(PadicNumber) -- precision of a p-adic number
    • unit -- unit part of a p-adic number
    • pVal -- p-adic valuation of a p-adic number
    • PadicNumber == PadicNumber -- equality of p-adic numbers
    • PadicNumber + PadicNumber -- add p-adic numbers
      • PadicNumber - PadicNumber -- subtract or negate p-adic numbers
    • PadicNumber * PadicNumber -- multiply p-adic numbers
      • PadicNumber / PadicNumber -- divide p-adic numbers
      • inverse(PadicNumber) -- multiplicative inverse of a p-adic number
    • abs(PadicNumber) -- p-adic absolute value
    • PadicNumber << ZZ -- multiply a p-adic number by a power of p
      • PadicNumber >> ZZ -- divide a p-adic number by a power of p
    • PadicNumber ^ ZZ -- raise a p-adic number to an integer power
      • sqrt(PadicNumber) -- square root of a p-adic number
    • exp(PadicNumber) -- p-adic exponential function
      • log(PadicNumber) -- p-adic logarithm function
    • teichmullerLift -- Teichmüller lift of a p-adic integer
    • lift(PadicNumber,type of ZZ) -- lift a p-adic number to another ring
    • promote(ZZ,type of PadicNumber) -- promote a number to a p-adic field
    • numeric(ZZ,PadicNumber) -- convert a p-adic number to a real number
    • interval(PadicNumber,PadicNumber) -- convert p-adic numbers to a real interval