Mateusz Baran

> * T(n) x SO(n) a direct product manifold (aka "more Riemannian") and I think Manifolds.jl in general is coming from this angle vs. Direct vs semidirect product only refers...

Or, still alternatively, you could define in Manifolds.jl those plus operations as actions of a yet another group on SE(n). There is just way too many ways to describe the...

> Just a short question on the exponential barycenter – can you link to more details? I think that's what is described in this paper: https://hal.inria.fr/hal-00699361/document (in particular section 3.3)....

Yes, right, that actually looks like the same thing. We may put that into documentation though.

Hi :wave:! I'm really happy that we can share ideas and algorithms between out projects :slightly_smiling_face: .

No, not quite, it's more complex. At least the space I'm used to call landmark space is different. You can take a look here: https://projecteuclid.org/euclid.ss/1177012582 or here: http://image.diku.dk/imagecanon/material/kendall-shapes.pdf

For `Circle` you can use `fill(0.0)` to represent points and tangent vectors, that's mutable.

If you use `fill(0.0)` as initialization of optimization then it would work naturally. If you want `0.0` to be a valid, you have to add `fill` (or `Ref`). IIRC you...

So, the case when it wouldn't work is when tangent vectors are mutable and points are not? Well, a bit of a corner case but I see now. Anyway, for...

I don't understand your problem now. Look here: ```julia julia> f = (; a=Ref(10), b=Ref([11])) (a = Base.RefValue{Int64}(10), b = Base.RefValue{Vector{Int64}}([11])) julia> f.a[] = 12 12 julia> f (a =...