$ 0 0 A software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.