From 426e803e240a6271baa56c1c6835bbd2871e55b7 Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Thu, 10 Oct 2024 11:50:53 +0200 Subject: [PATCH] add a missing `in` method (According to the documentation, `hom(x) in A` shall return `false` for an element `x` of `A`, where `A` is a group of automorphisms.) --- src/Groups/homomorphisms.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/Groups/homomorphisms.jl b/src/Groups/homomorphisms.jl index 40a0a68e4732..d963529e2be0 100644 --- a/src/Groups/homomorphisms.jl +++ b/src/Groups/homomorphisms.jl @@ -1312,6 +1312,11 @@ function apply_automorphism(f::GAPGroupElem{AutomorphismGroup{T}}, x::GAPGroupEl return typeof(x)(G, GAPWrap.ImagesRepresentative(GapObj(f), GapObj(x))) end +# According to the documentation, `hom(x) in A` shall return `false` +# for an element `x` of `A`. +# We install a method for that. +Base.in(::GAPGroupHomomorphism, ::AutomorphismGroup{<: GAPGroup}) = false + Base.:*(f::GAPGroupElem{AutomorphismGroup{T}}, g::GAPGroupHomomorphism) where T = hom(f)*g Base.:*(f::GAPGroupHomomorphism, g::GAPGroupElem{AutomorphismGroup{T}}) where T = f*hom(g)