The CKForms package is used for finding standard compact Clifford-Klein forms of a non-compact homogeneous space \(G/H\) where \(G\) is a simple linear Lie group and \(H\) is a non-compact reductive Lie subgroup of \(G\).
The current version of this package is version 2.0.2, released on 2021-08-25. For more information, please refer to the package manual. There is also a README file.
This package requires GAP version >=4.10.
The following other GAP packages are needed:
In this package we develop algorithms generating triples \((\mathfrak{g},\mathfrak{h},\mathfrak{l})\) of lie algebras (\(\mathfrak{h}\) and \(\mathfrak{l}\) are subalgebras of \(\mathfrak{g}\)) such that the corresponding triples of Lie groups \((G,H,L)\) fulfill some necessary conditions required for triples inducing standard compact Clifford-Klein forms. The program is used for searching for standard compact Cliiford-Klein forms.
CKForms Package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
For bug reports, feature requests and suggestions, please use the issue tracker.