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).
[Next] [Prev] [Right] [____] [Up] [Index] [Root]