Let D be an effective divisor and U be a subgroup of the ray class group ClD. The main existence theorem of class field theory asserts that there is exactly one function field corresponding to the quotient ClD/U whose Galois group is isomorphic to ClD/U in a canonical way.
Since the field is uniquely defined this way so are its invariants. Some of the invariants can easily be read off the groups involved. Therefore none of the functions listed here will compute a set of defining equations. They can therefore be used on very large fields.
Let m be an effective divisor. This function computes the conductor of Clm which is the smallest divisor f such that the projection Clm to Clf is surjective.
Let m be an effective divisor and U be a subgroup of the ray class group of m. This function computes the conductor of Clm/U which is the smallest divisor f such that the projection π:Clm/U to Clf/π(U) is an isomorphism.
For an abelian extension A of global function fields, compute its conductor, ie. the conductor of the norm group of A.
Let m be an effective divisor and U a subgroup of ray class group such that Clm/U is finite. The discriminant divisor is defined as the norm of the different divisor.
For an abelian extension A of a global function field, compute its discriminant divisor, ie. the norm of the different divisor. Note that the discriminant divisor can be computed from the norm group, thus no defining equation is derived.
Let m be an effective divisor. Since the ray class field modulo m is always an infinite field extension containing the algebraic closure of the constant field, this returns ∞.
Let m be an effective divisor and U be a subgroup of the ray class group, (see RayClassGroup), modulo m. This function computes the degree of the algebraic closure of the constant field in the class field corresponding to Clm/U. This can be infinite.
The degree of the exact constant field of the abelian extension A of a global function field. This is the degree of the algebraic closure of the constant field of the base field of A in A. The degree of this field can be computed from the norm group, thus no defining equation is derived.
Let m be an effective divisor and U be a subgroup of the ray class group, (see RayClassGroup), modulo m. This function computes the genus of the class field corresponding to Clm/U.
The genus of the abelian extension A of a global function field.
Let m be an effective divisor and U be a subgroup of the ray class group, (see RayClassGroup), modulo m such that the quotient Clm/U is finite. For a place p this function will determine the decomposition type of the place in the extension defined by Clm/U, i.e. it will return a sequence of pairs < f, e > containing the inertia degree and ramification index for all places above p.
For an abelian extension A of a global function field k and a place p of k, compute the degree and ramification index of all places P lying above p.
Let m be an effective divisor and U be a subgroup of the ray class group, (see RayClassGroup), modulo m such that the quotient Clm/U is finite. This function will compute the number of places of degree 1 that the class field corresponding to Clm/U has.
For an abelian extension A of global function fields, compute the number of places of A that are of degree one over the constant field of the base field of A.
For an abelian extension A of global function fields, return the degree of A over its base ring.
For an abelian extension A of global function fields, return the base field, ie, the global field k over which A was created as an extension.
For two abelian extensions of the same base field, decide if they describe the same field, ie if the norm groups pulled back into a common over group, agree.
For two abelian extensions of the same base field, test if the first is contained in the second. This is done by comparing the norm groups in a common over group, thus defining equations are not computed.
Compute the intersection of two abelian extensions of the same base field as an abelian extension.
Compute the compositum of two abelian extensions of the same base field as an abelian extension. Since both fields are normal, the compositum is well defined and can be computed from the norm groups alone.