Algebraic Function Fields (Expandend) [HB 43]

An algebraic function field F/k (in one variable) over a field kis a field extension F of k such that F is a finite field extension of k(x) for an element $x \in F$ which is transcendental over k.

In V2.7, the original KANT module for function fields has been completely revised and its facilities have been vastly expanded by Florian Hess. In particular, types have been introduced for places and divisors. For simplicity, the complete feature set is outlined below.