GAP Functionality for Zariski Dense Groups

Abstract

In this document we describe the functionality of GAP [4] routines for Zariski dense or arithmetic groups that are developed in [1, 2, 3]. The research underlying the software was supported through the programme "Research in Pairs", at the Mathematisches Forschungsinstitut Oberwolfach, and part of the software was written during a stay in June 2017. The hospitality we received has been greatly appreciated. Our research was also supported by a Marie Sklodowska-Curie Individual Fellowship grant under Horizon 2020 (EU Framework Programme for Research and Innovation), and a Simons Foundation Collaboration Grant Nr. 244502. All support is acknowledged with gratitude.