non-euclidean constraints are inherent in many kinds of data in computer
vision and machine learning, typically as a result of specific invariance
requirements that need to be respected during high-level inference. Often,
these geometric constraints can be expressed in the language of