# 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).