diff --git a/test/groups/groups_general.jl b/test/groups/groups_general.jl index b25f6aee13..17f650253d 100644 --- a/test/groups/groups_general.jl +++ b/test/groups/groups_general.jl @@ -298,15 +298,22 @@ using Manifolds: A = GroupOperationAction(G, (d, s)) return apply_diff_group(A, id, X, id) end + function apply_at_id!(Y, X, d, s) + A = GroupOperationAction(G, (d, s)) + return apply_diff_group!(A, Y, id, X, id) + end _get_sign(::LeftAction, ::LeftSide) = 1 # former case _get_sign(::LeftAction, ::RightSide) = -1 # new case _get_sign(::RightAction, ::LeftSide) = -1 # new case _get_sign(::RightAction, ::RightSide) = 1 # former case + Y = similar(X) for d in [LeftAction(), RightAction()] for s in [LeftSide(), RightSide()] @test apply_at_id(X, d, s) ≈ _get_sign(d, s) * X + apply_at_id!(Y, X, d, s) + @test Y ≈ _get_sign(d, s) * X end end end diff --git a/test/groups/special_orthogonal.jl b/test/groups/special_orthogonal.jl index f7cc93c295..b080d616ab 100644 --- a/test/groups/special_orthogonal.jl +++ b/test/groups/special_orthogonal.jl @@ -59,6 +59,7 @@ using Manifolds: LeftForwardAction, RightBackwardAction test_exp_from_identity=true, test_log_from_identity=true, test_vee_hat_from_identity=true, + test_inv_diff=true, ) @testset "log_lie edge cases" begin diff --git a/test/groups/translation_group.jl b/test/groups/translation_group.jl index e88704ff72..8ce235e20d 100644 --- a/test/groups/translation_group.jl +++ b/test/groups/translation_group.jl @@ -42,6 +42,7 @@ using Manifolds: LeftForwardAction, RightBackwardAction test_exp_from_identity=true, test_log_from_identity=true, test_vee_hat_from_identity=true, + test_inv_diff=true, ) end