An extension of Mobius--Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library

Abstract

We propose to consider ensembles of cycles (quadrics), which are interconnected through conformal-invariant geometric relations (e.g. ``to be orthogonal'', ``to be tangent'', etc.), as new objects in an extended M\"obius--Lie geometry. It was recently demonstrated in several related papers, that such ensembles of cycles naturally parameterize many other conformally-invariant families of objects, e.g. loxodromes or continued fractions. The paper describes a method, which reduces a collection of conformally in\-vari\-ant geometric relations to a system of linear equations, which may be accompanied by one fixed quadratic relation. To show its usefulness, the method is implemented as a {\CPP} library. It operates with numeric and symbolic data of cycles in spaces of arbitrary dimensionality and metrics with any signatures. Numeric calculations can be done in exact or approximate arithmetic. In the two- and three-dimensional cases illustrations and animations can be produced. An interactive {\Python} wrapper of the library is provided as well.