  
  
                                      [1XNoCK[101X
  
  
     [1XComputing obstruction for the existence of compact Clifford-Klein form[101X
  
  
                                  Version 1.4
  
  
                                  October 2019
  
  
                                Maciej Bocheński
  
                               Piotr Jastrzębski
  
                               Anna Szczepkowska
  
                                 Aleksy Tralle
  
                                  Artur Woike
  
  
  
  Maciej Bocheński
      Email:    [7Xmailto:mabo@matman.uwm.edu.pl[107X
      Address:  [33X[0;14YFaculty of Mathematics and Computer Science,[133X
                [33X[0;14YUniversity of Warmia and Mazury in Olsztyn[133X
                [33X[0;14YSloneczna 54 Street,[133X
                [33X[0;14Y10-710 Olsztyn, Poland[133X
  
  
  Piotr Jastrzębski
      Email:    [7Xmailto:piojas@matman.uwm.edu.pl[107X
      Homepage: [7Xhttp://wmii.uwm.edu.pl/~piojas/[107X
      Address:  [33X[0;14YFaculty of Mathematics and Computer Science,[133X
                [33X[0;14YUniversity of Warmia and Mazury in Olsztyn[133X
                [33X[0;14YSloneczna 54 Street,[133X
                [33X[0;14Y10-710 Olsztyn, Poland[133X
  
  
  Anna Szczepkowska
      Email:    [7Xmailto:anna.szczepkowska@matman.uwm.edu.pl[107X
      Address:  [33X[0;14YFaculty of Mathematics and Computer Science,[133X
                [33X[0;14YUniversity of Warmia and Mazury in Olsztyn[133X
                [33X[0;14YSloneczna 54 Street,[133X
                [33X[0;14Y10-710 Olsztyn, Poland[133X
  
  
  Aleksy Tralle
      Email:    [7Xmailto:tralle@matman.uwm.edu.pl[107X
      Homepage: [7Xhttp://wmii.uwm.edu.pl/~tralle/[107X
      Address:  [33X[0;14YFaculty of Mathematics and Computer Science,[133X
                [33X[0;14YUniversity of Warmia and Mazury in Olsztyn[133X
                [33X[0;14YSloneczna 54 Street,[133X
                [33X[0;14Y10-710 Olsztyn, Poland[133X
  
  
  Artur Woike
      Email:    [7Xmailto:awoike@matman.uwm.edu.pl[107X
      Homepage: [7Xhttp://wmii.uwm.edu.pl/~awoike/[107X
      Address:  [33X[0;14YFaculty of Mathematics and Computer Science,[133X
                [33X[0;14YUniversity of Warmia and Mazury in Olsztyn[133X
                [33X[0;14YSloneczna 54 Street,[133X
                [33X[0;14Y10-710 Olsztyn, Poland[133X
  
  
  
  -------------------------------------------------------
  [1XAbstract[101X
  [33X[0;0YIn  this  package  we  develop  functions  for an algorithm designed to find
  homogeneous  spaces  of semisimple non-compact Lie groups which do not admit
  compact Clifford-Klein forms.[133X
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0YNoCK  Package  is  free  software;  you can redistribute it and/or modify it
  under     the     terms     of    the    GNU    General    Public    License
  ([7Xhttp://www.fsf.org/licenses/gpl.html[107X)  as  published  by  the Free Software
  Foundation;  either  version 2 of the License, or (at your option) any later
  version.[133X
  
  
  -------------------------------------------------------
  [1XAcknowledgements[101X
  [33X[0;0YWe thank Willem de Graaf for his help in getting some literature sources.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (NoCK)[101X
  
  1 [33X[0;0YNotation[133X
  2 [33X[0;0YObstruction for the existence of compact Clifford-Klein form[133X
    2.1 [33X[0;0YTechnical functions[133X
      2.1-1 NonCompactDimension
      2.1-2 PCoefficients
      2.1-3 PCalculate
      2.1-4 AllZeroDH
  3 [33X[0;0YAlgorithm example[133X
  
  
  [32X
