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 == []