Engineering↗
Buchmann's Sub-exponential Algorithm: Overview
Buchmann's algorithm for class groups and units of arbitrary number fields, its structure, and where its cost concentrates.
Every page in the KEVOS library tagged relation collection. 4 pages.
Buchmann's algorithm for class groups and units of arbitrary number fields, its structure, and where its cost concentrates.
Why class group and unit computation are a single problem, what the combined algorithm produces, and how the results are verified.
Generating relations among ideal classes, assembling the sparse matrix, and knowing when enough relations have been collected.
Sub-exponential class group and regulator computation for quadratic fields by relation collection over a factor base.