<div id="comment:0"></div> This should probably be factored out. CC: @roed314 Component: **padics** Author: **Mike Hansen** Reviewer: **David Roe** Merged: **sage-4.3.2.alpha0** _Issue created by migration from https://trac.sagemath.org/ticket/2084_