inverse(PadicNumber) -- multiplicative inverse of a p-adic number

• Function: inverse

• Usage:

  inverse x

• Inputs:
  • x, a p-adic number,
• Outputs:
  • a p-adic number, the multiplicative inverse of x;

i1 : inverse QQ_7 3

o1 = 5 + 4*7^1 + 4*7^2 + 4*7^3 + 4*7^4 + 4*7^5 + 4*7^6 + 4*7^7 + 4*7^8 +
     4*7^9 + 4*7^10 + 4*7^11 + 4*7^12 + 4*7^13 + 4*7^14 + 4*7^15 + 4*7^16 +
     4*7^17 + 4*7^18 + 4*7^19

o1 : QQ  (of precision 20)
       7

i2 : QQ_7 3 * inverse QQ_7 3

o2 = 1

o2 : QQ  (of precision 20)
       7