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 ...