An algorithm of subexponential type computing the class group of quadratic orders over principal ideal domains

  • Sachar Paulus
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1122)

Abstract

We present an algorithm which computes the class group of a quadratic order over a principal ideal domain that fulfills some properties which are implicated by computational requirements. It is a generalization of the subexponential method of Hafner and McCurley which computes the class group of an order in an imaginary quadratic number field. We discuss the concept of reduction theory of binary quadratic forms over a Euclidean domain which makes our algorithm practical. Several examples of principal ideal domains are given for which we have applied our generic algorithm implemented in C++ using template techniques.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Sachar Paulus
    • 1
  1. 1.Institute for Experimental MathematicsUniversity of EssenEssenGermany

Personalised recommendations