Skip to Main Content

Mathematics of Computation

Published by the American Mathematical Society since 1960 (published as Mathematical Tables and other Aids to Computation 1943-1959), Mathematics of Computation is devoted to research articles of the highest quality in computational mathematics.

ISSN 1088-6842 (online) ISSN 0025-5718 (print)

The 2020 MCQ for Mathematics of Computation is 1.78.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.


An $L(1/3)$ algorithm for ideal class group and regulator computation in certain number fields
HTML articles powered by AMS MathViewer

by Jean-François Biasse PDF
Math. Comp. 83 (2014), 2005-2031 Request permission


We analyze the complexity of the computation of the class group structure, regulator, and a system of fundamental units of an order in a certain class of number fields. Our approach differs from Buchmann’s, who proved a complexity bound under the generalized Riemann hypothesis of $L(1/2,O(1))$ when the discriminant tends to infinity with fixed degree. We achieve a heuristic subexponential complexity in $O(L(1/3,O(1)))$ under the generalized Riemann hypothesis when both the discriminant and the degree of the extension tend to infinity by using techniques due to Enge, Gaudry and Thomé in the context of algebraic curves over finite fields. We also address rigorously the problem of the precision of the computation of the regulator.
Similar Articles
Additional Information
  • Jean-François Biasse
  • Affiliation: LIX, École Polytechnique, 91128 Palaiseau, France
  • Email:
  • Received by editor(s): December 17, 2009
  • Received by editor(s) in revised form: October 25, 2011
  • Published electronically: January 17, 2014
  • Additional Notes: The author was supported by a DGA grant
  • © Copyright 2014 American Mathematical Society
  • Journal: Math. Comp. 83 (2014), 2005-2031
  • MSC (2010): Primary 54C40, 14E20; Secondary 46E25, 20C20
  • DOI:
  • MathSciNet review: 3194139