subcyclopclgp (2/3)
v[6] is the number of Qp-conjugacy classes of injective characters
χ: Gal(K/Q) → Qp
×
.
A vector of primes is also accepted and the result is then a vector of vectors as above, one for
each prime and in the same order.
This is the behaviour if flag = 1 which is not the default value, since it is likely to be very costly.
By default (flag = 0) the function quickly computes
E(A−) and the structure of A− if it is easy to determine,
a proven sharp upper bound for E(A+
) (which is expected, but not proven, to be the exact
value unless it is 0)
The corresponding (ei) vectors for non-computed structures are replaced by dummy empty
vectors.
Atelier 2022 (13/01/2022) – p. 6/13