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 GRH. 4 pages.
Buchmann's algorithm for class groups and units of arbitrary number fields, its structure, and where its cost concentrates.
Choosing the factor base for class group computation, the smoothness trade-off, and how base size interacts with the linear algebra.
Bounds on the norm of ideals needed to generate the class group, and why the conditional bound is what makes computation practical.
Confirming class group and regulator results against the analytic class number formula, and what such confirmation does and does not establish.