p-adic Order and Valuation

This is the implementation of the previously defined functions and . PadicOrder[s,p] returns the number of times that divides , roughly speaking.

Here are some examples.