Introduction. In part I of this paper we described the theoretical improvements of our method of computing fundamental units in algebraic number fields which we achieved in the last few years. Those improvements were of considerable influence on the corresponding computer program. Since its first 1976 [2] implementation it was completely rewritten and changed in so many details that a new presentation cannot be avoided. In Sections 1 and 2 of this paper we describe the applications of part I [6] to the algorithm for constructing fundamental units. Section 3 contains a complete list of numerical examples concerning algebraic number fields of small degree and small absolute discriminant. Besides the fundamental units the tables contain much information about fields of degree five and six which was so far unknown. The determination of those fields (and their subfields) is described in [3]. Besides the fundamental units we also listed the order of the torsion subgroup TUF of the unit group U, whenever it is different from 2. It was computed by the methods of Section 2 of [5]. All computations were carried out on the Control Data Cyber 76 of the Computer Center of the University of Cologne.
[1]
A program for determining fundamental units
,
1976,
SYMSAC '76.
[2]
M. Pohst.
Regulatorabschätzungen für total reelle algebraische Zahlkörper
,
1977
.
[3]
Michael Pohst,et al.
An effective number geometric method of computing the fundamental units of an algebraic number field
,
1977
.
[4]
David James Ford.
On the computation of the maximal order in a dedekind domain.
,
1978
.
[5]
Michael E. Pohst,et al.
On unit computation in real quadratic number fields
,
1979,
EUROSAM.
[6]
Rainer Zimmert,et al.
Ideale kleiner Norm in Idealklassen und eine Regulatorabschätzung
,
1980
.
[7]
Ravi Kannan,et al.
A Polynomial Algorithm for the Two-Variable Integer Programming Problem
,
1980,
JACM.
[8]
Michael E. Pohst,et al.
On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications
,
1981,
SIGS.
[9]
Michael Pohst,et al.
On the computation of number fields of small discriminants including the minimum discriminants of sixth degree fields
,
1982
.