软件包: gap-fga (1.4.0-2)

GAP FGA - Free Group Algorithms

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

The FGA package installs methods for computations with finitely generated subgroups of free groups and provides a presentation for their automorphism groups. It was written by Christian Sievers.