<CODE>nf</CODE>.zk, e is the ramification index, f is the residual index, and b is an n-component column vector representing a <EM>beta</EM>\in<STRONG><EM>Z</EM></STRONG>_K such that vp^{-1}=<STRONG><EM>Z</EM></STRONG>_K+<EM>beta</EM>/p<STRONG><EM>Z</EM></STRONG>_K which will be useful for computing valuations, but which the user can