Function Field Database

An optional database of function fields may be downloaded from the Magma website. This section defines the interface to that database. Each database is associated to a given finite field and extension degree. The supported combinations are:

F₂:

degrees 2, 3

F₃:

degree 2

F₄:

degrees 2, 3, 5

F₅:

degrees 2, 3, 4, 8

F₇:

degree 9

F₁₁:

degree 3

F₁₃:

degree 3 parFor each function field in the database, the following information is stored and may be used to limit the function fields of interest via the sub constructor: The genus; the number of degree one places; the class number; and the class group.

Creation

FunctionFieldDatabase(q, d) : RngIntElt, RngIntElt -> DB

Returns a database object for the function fields of degree d over F_q.

sub< D | : parameters> : DB -> DB

    Genus: RngIntElt                    Default: 

    NumberOfDegreeOnePlaces: RngIntElt  Default: 

Returns a sub-database of D, restricting (or further restricting, if D is already a sub-database of the full database) the contents to those function fields satisfying the specified conditions. Note that it is not possible to "undo" restrictions with this constructor --- the results are always at least as limited as D is.

The parameter Genus may be used to restrict the search to fields with the specified genus.

The parameter NumberOfDegreeOnePlaces may be used to restrict the search to only those fields with the specified number of places of degree one.

Access

BaseField(D) : DB -> FldFin

CoefficientField(D) : DB -> FldFin

Returns the finite field underlying each function field in the database.

Degree(D) : DB -> RngIntElt

Returns the degree of each function field in the database.

# D : DB -> RngIntElt

NumberOfFields(D) : DB -> RngIntElt

Returns the number of function fields stored in the database.

FunctionFields(D) : DB -> [ FldFunG ]

Returns the sequence of function fields stored in the database.

> D := FunctionFieldDatabase(5, 4);
> #D;
196380
> [ #sub<D |: Genus := g> : g in [0..6] ];
[ 60, 480, 960, 12960, 35040, 63120, 83760 ]