[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Functions on p-Adic Structures
Functions on p-Adic Structures
Characteristic(R) : FldLoc -> RngIntElt
Parent(R) : FldLoc -> Cat
R eq S : FldLoc, FldLoc -> BoolElt
R ne S : FldLoc, FldLoc -> BoolElt
The cardinality only returns a value for the finite rings Z_p/p^r Z_p.
Prime(R) : FldLoc -> RngIntElt
Returns the prime p at which R is a completion.
# R : Rng -> RngIntElt
Given a p-adic ring of fixed precision r, this function returns
its number of elements.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]