KANT (http://www.math.tu-berlin.de/~kant/kash.html) specializes in sophisticated computations in number fields, in global function fields, and in local fields.
Though KASH/KANT is a closed-source program, it is freely available and William Stein has been given permission to distribute it for use in SAGE.
