From 6fd33ee7c7fa924459de715b76fd1dffa0411dae Mon Sep 17 00:00:00 2001 From: Mateusz Baran Date: Thu, 28 Nov 2024 12:15:22 +0100 Subject: [PATCH] fix lie_bracket on new groups --- src/groups/power_group.jl | 3 ++- src/groups/product_group.jl | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/groups/power_group.jl b/src/groups/power_group.jl index d1d7fa68..e82c5799 100644 --- a/src/groups/power_group.jl +++ b/src/groups/power_group.jl @@ -257,7 +257,7 @@ function inv!( end function lie_bracket!( - PoA::LieAlgebra{𝔽,<:LieGroup{𝔽,Op,M}}, Z, X, Y + PoA::LieAlgebra{𝔽,Op,<:LieGroup{𝔽,Op,M}}, Z, X, Y ) where {𝔽,Op<:PowerGroupOperation,M<:ManifoldsBase.AbstractPowerManifold} PM = PoA.manifold.manifold rep_size = representation_size(PM) @@ -270,6 +270,7 @@ function lie_bracket!( ManifoldsBase._read(PM, rep_size, Y, i), ) end + return Z end function ManifoldsBase.log!( diff --git a/src/groups/product_group.jl b/src/groups/product_group.jl index 9e1ad1d1..dc3012dd 100644 --- a/src/groups/product_group.jl +++ b/src/groups/product_group.jl @@ -245,12 +245,12 @@ function inv!( end function lie_bracket!( - PrA::LieAlgebra{𝔽,<:LieGroup{𝔽,Op,M}}, Z, X, Y + PrA::LieAlgebra{𝔽,Op,<:LieGroup{𝔽,Op,M}}, Z, X, Y ) where {𝔽,Op<:ProductGroupOperation,M<:ManifoldsBase.ProductManifold} PrM = PrA.manifold.manifold map( lie_bracket!, - LieAlgebra.(LieGroup.(PrM.manifolds, PrA.op.operations)), + LieAlgebra.(LieGroup.(PrM.manifolds, PrA.manifold.op.operations)), submanifold_components(PrM, Z), submanifold_components(PrM, X), submanifold_components(PrM, Y),