Examples
Still F = Q(
√
36322, ζ5), using a class-field theoretic description:
? Q = bnfinit(y);
? [,bnr1,H1] = rnfconductor(Q, x^2-36322);
? bnr2 = bnrinit(Q, [5,[1]]);
? [bnr,H] = bnrcompositum([bnr1,H1], [bnr2,Mat(1)]);
? subcyclopclgp([bnr,H], 5)
%14 = [5, [1, [1]], [4, []], ...]
Atelier 2022 (13/01/2022) – p. 10/13