Provide a way to check if group is compact or not at compile and run time. about manif HOT 8 OPEN

Hi @slovak194,

This makes sense. Would a static member like the existing Group::Dim/DoF... work for you?

from manif.

@joansola Any thought on this? How about the name of such variable?

• Group::Compact
• Group::IsCompact
• something else?

from manif.

from manif.

Are'nt all groups in manif compact?

I might be mistaken but I believe they are not. R^n isn't compact ( ]-inf, +inf[ ) and thus neither are SE2/3 etc.

What is the purpose of this information?

@slovak194 ?

from manif.

As far as I understand, only purely rotational groups in Manif can be considered compact. Yes, the first step I thought is to provide static member as @artivis has suggested. But there might be another step is to specify the range of unique parametrization for tangent.

The purpos on my side is related to the way how covariance for the group is expressed on a tangent space. As it only makes some sense if +- 3 sigma is inside this unique parametrization. Or maybe half of it.

Best regards,
Alex

from manif.

Oh I see. Yes, this makes sense.

Would this binary marker compact / non-compact be enough then? How to systematize a specification of the first cover of the manifold by the tangent space?

So far, all groups in manif define this first cover by the norm of the rotational part of the tangent vector being inferior to PI.

Is it then generalizable to define the first cover through a maximum radius? I am unsure of these things in the general case.

from manif.

@joansola Any thought on this? How about the name of such variable?

* `Group::Compact`

* `Group::IsCompact`

* something else?

I tend to prefer IsCompact over Compact

from manif.

Oh I see. Yes, this makes sense.

Would this binary marker compact / non-compact be enough then? How to systematize a specification of the first cover of the manifold by the tangent space?

So far, all groups in manif define this first cover by the norm of the rotational part of the tangent vector being inferior to PI.

Is it then generalizable to define the first cover through a maximum radius? I am unsure of these things in the general case.

Would it be interesting / useful to have a test function in the group indicating whether a tangent vector is in the first cover of the manifold or beyond?

Tangent::inFirstCover() --> bool

from manif.