padicValuation -- p-adic valuation of a rational number or integer

Synopsis

• Usage:

  padicValuation(a, p)

• Inputs:
  • a, an integer, a non-zero rational number in $\mathbb{Q}_p$
  • p, an integer, a rational prime number
• Outputs:
  • an integer, an integer $n$ where $a=p^n u$ and $u$ is a unit in $\mathbb{Z}_p$

Description

i1 : a = 363/7;

i2 : padicValuation(a, 11)

o2 = 2