64 GRIM (Groups of Rational and Integer Matrices)

defGRIMsf GRIM

This chapter describes the main functions of the GRIM (Version~1.0) share library package for testing finiteness of rational and integer matrix groups. All functions described here are written entirely in the GAP language.

Before using any of the functions described in this chapter you must load the package by calling the statement

    gap> RequirePackage( "grim" );

    Loading  GRIM (Groups of Rational and Integer Matrices) 1.0,
    by beals@math.arizona.edu 

Subsections

1. Functions to test finiteness and integrality
2. IsFinite for rational matrix groups
3. InvariantLattice for rational matrix groups
4. IsFiniteDeterministic for integer matrix groups