TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual

| KASH3 Reference Manual

Introduction | Reference Manual | Index

search

### Keyword

Function Fields

### Description

<shortdoc> In KASH3, creation of an algebraic function field begins with choosing a bivariate polynomial 'f' over 'k', which is separable and monic in the second variable, such that 'f(T,y) = 0'. For this there have to be defined the field 'k', the polynomial rings 'k[T]' and 'k[T][y]', respectively (see example). It is afterwards possible to define an algebraic function field. We test first whether the bivariate polynomial is irreducible and separable in the second variable. Then as a first application, one can compute the genus of the function field by calling 'Genus' function. </shortdoc>

### Examples

k := FiniteField(25); kT := RationalFunctionField(k); kTy := PolynomialAlgebra(kT); T := kT.1;; y := kTy.1;; f := y^3 + T^4 + 1; K := FunctionField(f); Genus(K);

| Built: Mon Nov 14 21:12:39 UTC 2005 on mack