Faster class group computations using norm relations
Examples : cyclotomic fields
Degree 72, 5 seconds :
? abbnf = abelianbnfinit(polcyclo(216));
? getcyc(abbnf)
% = [1714617]
Degree 144, 15 seconds :
? abbnf = abelianbnfinit(polcyclo(504));
? getcyc(abbnf)
% = [39312, 13104, 252, 252, 252, 126, 2, 2, 2]
Degree 288, 3 minutes :
? abbnf = abelianbnfinit(polcyclo(1260));
? getcyc(abbnf)
% = [302534211670334280, 8464152747960, ...]