Muchos de la clase de grupo cálculos se aceleró enormemente por el supuesto de la GRH. Como entiendo que esto se hace mediante el cálculo de límites superiores en la discriminantes de potencial abelian extensiones. Ver esta encuesta por Odlyzko para obtener más detalles
http://archive.numdam.org/ARCHIVE/JTNB/JTNB_1990__2_1/JTNB_1990__2_1_119_0/JTNB_1990__2_1_119_0.pdf
Esto está construido en SAGE.
sage: J=JonesDatabase()
sage: NFs=J.unramified_outside([2,3])
sage: time RHCNs = [K.class_number(proof=False) for K in NFs]
CPU times: user 7.05 s, sys: 0.07 s, total: 7.13 s
Wall time: 7.15 s
sage: time CNs = [K.class_number() for K in NFs]
CPU times: user 20.19 s, sys: 0.24 s, total: 20.43 s
Wall time: 20.96 s