Skip to content

Commit

Permalink
runs formatter.
Browse files Browse the repository at this point in the history
  • Loading branch information
kellertuer committed Jan 25, 2025
1 parent 8411b6f commit 6d8555d
Show file tree
Hide file tree
Showing 2 changed files with 33 additions and 7 deletions.
8 changes: 7 additions & 1 deletion ext/ManifoldsTestExt/tests_general.jl
Original file line number Diff line number Diff line change
Expand Up @@ -242,7 +242,13 @@ function test_manifold(
Test.@test isapprox(M, pts[1], exp(M, pts[2], X2); atol=atolp1p2, rtol=rtolp1p2)
end
Test.@test is_point(M, exp(M, pts[1], X1); atol=atolp1p2, rtol=rtolp1p2)
Test.@test isapprox(M, pts[1], ManifoldsBase.expt(M, pts[1], X1, 0); atol=atolp1p2, rtol=rtolp1p2)
Test.@test isapprox(
M,
pts[1],
ManifoldsBase.expt(M, pts[1], X1, 0);
atol=atolp1p2,
rtol=rtolp1p2,
)
for p in pts
epsx = find_eps(p)
Test.@test isapprox(
Expand Down
32 changes: 26 additions & 6 deletions src/groups/validation_group.jl
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,9 @@ function adjoint_action(M::ValidationManifold, p, X; kwargs...)
is_point(M, p; error=M.mode, kwargs...)
eM = Identity(M.manifold)
is_vector(M, eM, X; error=M.mode, kwargs...)
Y = ValidationTangentVector(adjoint_action(M.manifold, internal_value(p), internal_value(X)))
Y = ValidationTangentVector(
adjoint_action(M.manifold, internal_value(p), internal_value(X)),
)
is_vector(M, eM, Y; error=M.mode, kwargs...)
return Y
end
Expand All @@ -25,7 +27,9 @@ function adjoint_action!(M::ValidationManifold, Y, p, X; kwargs...)
end

Identity(M::ValidationManifold) = array_point(Identity(M.manifold))
identity_element!(M::ValidationManifold, p) = identity_element!(M.manifold, internal_value(p))
function identity_element!(M::ValidationManifold, p)
return identity_element!(M.manifold, internal_value(p))
end

function Base.inv(M::ValidationManifold, p; kwargs...)
is_point(M, p; error=M.mode, kwargs...)
Expand All @@ -45,7 +49,9 @@ function lie_bracket(M::ValidationManifold, X, Y)
eM = Identity(M.manifold)
is_vector(M, eM, X; error=M.mode)
is_vector(M, eM, Y; error=M.mode)
Z = ValidationTangentVector(lie_bracket(M.manifold, internal_value(X), internal_value(Y)))
Z = ValidationTangentVector(
lie_bracket(M.manifold, internal_value(X), internal_value(Y)),
)
is_vector(M, eM, Z; error=M.mode)
return Z
end
Expand Down Expand Up @@ -129,7 +135,9 @@ function inverse_translate(
)
is_point(M, p; error=M.mode, kwargs...)
is_point(M, q; error=M.mode, kwargs...)
x = array_point(inverse_translate(M.manifold, internal_value(p), internal_value(q), conv))
x = array_point(
inverse_translate(M.manifold, internal_value(p), internal_value(q), conv),
)
is_point(M, x; error=M.mode, kwargs...)
return x
end
Expand All @@ -144,7 +152,13 @@ function inverse_translate!(
)
is_point(M, p; error=M.mode, kwargs...)
is_point(M, q; error=M.mode, kwargs...)
inverse_translate!(M.manifold, internal_value(x), internal_value(p), internal_value(q), conv)
inverse_translate!(
M.manifold,
internal_value(x),
internal_value(p),
internal_value(q),
conv,
)
is_point(M, x; error=M.mode, kwargs...)
return x
end
Expand All @@ -161,7 +175,13 @@ function translate_diff(
is_point(M, q; error=M.mode, kwargs...)
is_vector(M, q, X; error=M.mode, kwargs...)
Y = ValidationTangentVector(
translate_diff(M.manifold, internal_value(p), internal_value(q), internal_value(X), conv),
translate_diff(
M.manifold,
internal_value(p),
internal_value(q),
internal_value(X),
conv,
),
)
pq = translate(M, p, q, conv)
is_vector(M, pq, Y; error=M.mode, kwargs...)
Expand Down

0 comments on commit 6d8555d

Please sign in to comment.