From cf0ef6271ac62483bf37b2d4e5291af09e9be077 Mon Sep 17 00:00:00 2001 From: Jens Brandt Date: Tue, 19 Nov 2024 13:47:19 +0100 Subject: [PATCH] fix misplaced bracket for maps --- src/Map/NumberField.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)