Computing obstruction for the existence of compact Clifford-Klein form

Version 1.5
Released 2022-03-30

GAP Package NoCK

The NoCK package is used for computing Tolzanos’s obstruction for compact Clifford-Klein forms

The current version of this package is version 1.5, released on 2022-03-30. For more information, please refer to the package manual. There is also a README file.


This package requires GAP version >=4.8

The following other GAP packages are needed:

The following additional GAP packages are not required, but suggested:


Maciej Bocheński, Piotr Jastrzębski, Anna Szczepkowska, Aleksy Tralle, Artur Woike.


For bug reports, feature requests and suggestions, please use the issue tracker.