Magma currently supports basic operations in valuation rings obtained either from the rational field Q (and a finite prime p), or from a field of rational functions over a field (and an irreducible polynomial, or the infinite prime).