Introduction

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