Macaulay2
»
Documentation
Packages
»
Padic
::
Table of Contents
next | previous | forward | backward | up |
index
|
toc
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