64.1 Pure p-adic Numbers

returns the family of pure p-adic numbers over the prime p with precision ``digits''.

returns the element of the p-adic number family fam that is used to represent the rational number rat.

p-adic numbers allow the usual operations for fields.

gap> fam:=PurePadicNumberFamily(2,3);;
gap> a:=PadicNumber(fam,4/5);
0.0101(2)
gap> 3*a;
0.0111(2)
gap> a/2;
0.101(2)
gap> a*10;
0.001(2)

The Valuation is the p-part of the p-adic number.

ShiftedPadicNumber takes a p-adic number padic and an integer shift and returns the p-adic number c, that is padic* p^shift. The shift is just added to the p-part.

[Top] [Up] [Next] [Index]