diff --git a/src/Map/NumberField.jl b/src/Map/NumberField.jl index 4bb356a380..789e94ee26 100644 --- a/src/Map/NumberField.jl +++ b/src/Map/NumberField.jl @@ -30,7 +30,7 @@ end is_injective(m::NumFieldHom) = true -is_surjective(m::NumFieldHom) = absolute_degree(domain(m) == absolute_degree(codomain(m))) +is_surjective(m::NumFieldHom) = absolute_degree(domain(m)) == absolute_degree(codomain(m)) is_bijective(m::NumFieldHom) = is_surjective(m)