P进数例子：

cjsh

R = Zp(5, prec = 2, type = ';fixed-mod';, print_mode = ';series';)
R
5-adic Ring of fixed modulus 5^25-adic Ring of fixed modulus 5^2
a = R(15)
a;
3*5 + O(5^2)3*5 + O(5^2)
a = R(37)
a
2 + 2*5 + O(5^2)2 + 2*5 + O(5^2)
b = R(-10)
b
3*5 + O(5^2)3*5 + O(5^2)

cjsh

详解：
R = Zp(5, prec = 2, type = ';fixed-mod';, print_mode = ';series';)
a = R(1)
a;
   1 + O(5^2)1 + O(5^2)
a = R(2)
a
2 + O(5^2)2 + O(5^2)
b = R(3)
b
3 + O(5^2)3 + O(5^2)
b = R(5)
b
5 + O(5^2)5 + O(5^2)
b = R(6)
b
1 + 5 + O(5^2)1 + 5 + O(5^2)
b = R(10)
b
2*5 + O(5^2)2*5 + O(5^2)
b = R(11)
b
1 + 2*5 + O(5^2)1 + 2*5 + O(5^2)
b = R(20)
b
4*5 + O(5^2)4*5 + O(5^2)
b = R(25)
b
O(5^2)O(5^2)
b = R(50)
b
O(5^2)O(5^2)
b = R(61)
b
1 + 2*5 + O(5^2)1 + 2*5 + O(5^2)
b = R(125)
b
O(5^2)O(5^2)
b = R(125+25+5)
5 + O(5^2)5 + O(5^2)

b = R(625+125+25)
b
O(5^2)O(5^2)

cjsh

精度为2，那就逢5^2=25进
精度为1，那就逢5进
精度为7，那就逢5^7进
R = Zp(5, prec = 1, type = ';fixed-mod';, print_mode = ';series';)
b = R(5)
b
O(5)
b = R(15)
b
O(5)


R = Zp(5, prec = 11, type = ';fixed-mod';, print_mode = ';series';)
a = R(5^11)
a;
O(5^11)O(5^11)
a = R(5^11-1)
a
4 + 4*5 + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5^9
+ 4*5^10 + O(5^11)4 + 4*5 + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5^9 + 4*5^10 + O(5^11)
b = R(-5^11)
b
O(5^11)O(5^11)
b = R(15^11)
b
O(5^11)O(5^11)
b = R(1005^11)
b
O(5^11)O(5^11)
b = R(100^11-23)
b
2 + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5^9 +
4*5^10 + O(5^11)2 + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5^9 + 4*5^10 + O(5^11)
看最后这个大数有14位-------100^11-23，在5的11精度下表成上面，验：
2 + 4*(5^2) + 4*(5^3) + 4*(5^4) + 4*(5^5) + 4*(5^6) + 4*(5^7) + 4*(5^8) + 4*(5^9) +4*(5^10) +  + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5^9 + 4*5^10+O(5^11) =9765620297656202+O(5^11)

                      100^11-23=9999999999999999999977

cjsh

[这个贴子最后由cjsh在 2011/07/06 05:01pm 第 2 次编辑]

http://www.sagenb.org/home/cjsh/27/
http://www.hudong.com/wiki/P+%E8%BF%9B%E6%95%B0%E5%9F%9F