An optional database of number fields may be downloaded from the Magma website. This section defines the interface to that database.
There are databases for number fields of degrees 2 through 9. In the case of degree 2 the enumeration is complete in the discriminant range (discriminants of absolute value less than a million); the other databases include fields with small (absolute value of) discriminant, as well as various other fields that may be of interest. The selection of fields is eclectic, and it may well be that certain "obvious" ones are missing.
For each number field in the database, the following information is stored and may be used to limit the number fields of interest via the sub constructor: The discriminant; the signature; the Galois group; the class number; and the class group.
Returns a database object for the number fields of degree d.
Signature: [ RngIntElt ] Default:
Signatures: [ [RngIntElt] ] Default:
GaloisGroup: RngIntElt or GrpPerm Default:
ClassNumber: RngIntElt Default:
ClassNumberLowerBound: RngIntElt Default: 1
ClassNumberUpperBound: RngIntElt Default: ∞
ClassNumberBounds: [ RngIntElt ] Default: [ 1, ∞]
ClassGroup: [ RngIntElt ] Default:
ClassSubGroup: [ RngIntElt ] Default: [ ]
ClassSuperGroup: [ RngIntElt ] Default:
SearchByValue: BoolElt Default: false
Returns a sub-database of D, restricting (or further restricting, if D is already a sub-database of the full database for that degree) the contents to those number fields satisfying the specified conditions. Note that (with the exception of SearchByValue, which does not actually limit the fields in the database) it is not possible to "undo" restrictions with this constructor --- the results are always at least as limited as D is.The valid non-parameter arguments are up to two integers specifying the desired range of discriminants in the result. If two integers are provided these are taken as the lower (dmin) and upper (dmax) bounds on the discriminant. If one integer is provided it is taken as a bound (dabs) on the absolute value of the discriminant. If no integers are provided then the discriminant range is the same as for D.
The parameters Signature or Signatures may be used to specify the desired signature or signatures to match. A signature is specified as a sequence of two integers [s1, s2] where s1 + 2s2 = d.
The parameter GaloisGroup may be used to specify the desired Galois group of the number field. It may be given as either a permutation group, or as the explicit index of this Galois group in the transitive groups database. (i.e., the first return value of TransitiveGroupIdentification.)
It is possible to require certain divisibility conditions on the class number. Internally, there are lower and upper bounds on this value, such that a number field will only match if its class number is divisible by the lower bound and divides the upper bound. These bounds may be set individually using ClassNumberLowerBound or ClassNumberUpperBound; setting ClassNumber is equivalent to setting both bounds to the same value. Both values may be specified at once by setting ClassNumberBounds to the sequence of the lower and upper bounds.
When finer control is desired, it is possible to specify desired sub- and super-groups of the class group. Each group is specified by the sequence of its Abelian invariants; the desired subgroup is set using ClassSubGroup, and the desired supergroup is set using ClassSuperGroup. Both may be set at once (thus requiring the group to match exactly) using ClassGroup.
When iterating through the database, the default is to iterate in order of the absolute value of the discriminant. Sometimes it is desirable to iterate in order of the actual value of the discriminant; this can be accomplished by setting the parameter SearchByValue to true.
Returns the degree of the number fields stored in the database.
Returns the smallest and largest discriminants of the number fields stored in the database.
Returns how many number fields are stored in the database.
Returns how many number fields of discriminant d are stored in the database.
Returns the sequence of number fields stored in the database.
Returns the sequence of number fields of discriminant d stored in the database.
> D := NumberFieldDatabase(2); > DiscriminantRange(D); -999995 999997 > #D; 607925There are 13 fields with discriminant of absolute value less than 20:
> D20 := sub<D | 20>; > #D20; 13 > [ Discriminant(F) : F in D20 ]; [ -3, -4, 5, -7, -8, 8, -11, 12, 13, -15, 17, -19, -20 ]Note that these were listed in order of absolute value of the discriminant; we can also list them in value order:
> [ Discriminant(F) : F in sub<D20 | : SearchByValue> ]; [ -20, -19, -15, -11, -8, -7, -4, -3, 5, 8, 12, 13, 17 ]Two of these number fields have class number 2:
> NumberFields(sub<D20 | : ClassNumber := 2>);
[
Number Field with defining polynomial x^2 + x + 4 over the Rational Field,
Number Field with defining polynomial x^2 + 5 over the Rational Field
]
> D := NumberFieldDatabase(5); > #D; 289040 > D12 := sub<D |: Signature := [1,2]>; > #D12; 186906We consider how many of these have class number equal to four. Note the cumulative nature of the restrictions has come into play.
> #sub<D12 |: ClassNumber := 4>; 1222 > #sub<D |: ClassNumber := 4>; 1255The number with class group specifically isomorphic to C2 x C2 is much less:
> #sub<D12 |: ClassGroup := [2,2]>; 99