Other functions: subcyclohminus
subcyclohminus(fH) computes the relative class number h−(F) up to Hasse’s unit index
Q ∈ {1, 2} using an analytic class number formula: more precisely it returns [h−, Q], or
[2h−
/Q, 0] if Q could not be determined.
subcyclohminus(fH, p), with p an odd prime number, returns vp(h−
(F)).
? subcyclohminus(22220, 101)
time = 40 ms.
%19 = 41
? p = 7860079; G = znstar(p, 1);
? subcyclohminus([G, Mat(13122)], 3)
time = 1,203 ms.
%21 = 65
This gives the 3-part of the subfield of degree 13122 in Q(ζ7860079).
Atelier 2022 (13/01/2022) – p. 12/13