def test_type_2_primes(f, class_number):
K = NumberField(f, "a")
Kgal = K.galois_closure("b")
embeddings = K.embeddings(Kgal)
type_two_not_momose = get_type_2_not_momose(K, embeddings)
_ = type_2_primes(K, embeddings, **TEST_SETTINGS)
if class_number == 1:
assert type_two_not_momose == set()
def test_type_three_not_momose(f, class_number, strong_L_count):
K = NumberField(f, "a")
Kgal = K.galois_closure("b")
embeddings = K.embeddings(Kgal)
strong_type_3_epsilons = get_strong_type_3_epsilons(K, embeddings)
assert len(strong_type_3_epsilons) == 2 * strong_L_count
type_3_not_momose_primes, _ = type_three_not_momose(
K, embeddings, strong_type_3_epsilons)
if class_number == 1:
assert type_3_not_momose_primes == []
