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

Purchase on Springer.com

$29.95 / €24.95 / £19.95*

* Final gross prices may vary according to local VAT.

Get Access

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.