PadicNumber / PadicNumber -- divide p-adic numbers

• Operator: /

• Usage:

  x / y

• Inputs:
  • x, a p-adic number,
  • y, a p-adic number,
• Outputs:
  • a p-adic number, the quotient of x and y;

i1 : QQ_2 3 / QQ_2 2

o1 = 1*2^-1 + 1

o1 : QQ  (of precision 20)
       2

i2 : QQ_7 6 / 2

o2 = 3

o2 : QQ  (of precision 20)
       7

i3 : 6 / QQ_7 2

o3 = 3

o3 : QQ  (of precision 20)
       7