. "nf.zk, e is the ramification index, f is the residual index, and b is an n-component column vector representing a beta\\inZ_K such that vp^{-1}=Z_K+beta/pZ_K which will be useful for computing valuations, but which the user can" . . .