From 5b4309e251bd4ba72d7c48011d0dba6d30ee8efb 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)