Booleans and Selectors on p-adic Rationals

Here we implement whether or not a given number is a p-adic number. The second example selects the different parts of a p-adic number. Next we implement the conversion of a p-adic number to a rational number. We also define the function SqrtQ[x,p] to test whether the square roots of exist in or not.

Here are some examples.