Padic : Index

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