p-adic kernel

[edgarcosta]

@fieker suggests that we should abstract from the algorithm, i.e., compute the smith form over ZZ, and then look at the valuations of the diagonal and use those to determine the valuation of the kernel, instead of keeping track of the valuation via the algorithm.