PCQL swMATH ID: 9148 Software Authors: Eick, Bettina; Horn, Max Description: Computing polycyclic quotients of finitely (L-)presented groups via Groebner bases. We announce the development and implementation of a new GAP package PCQL. This facilitates the computation of consistent polycyclic presentations for polycyclic quotients of groups defined by a so-called finite \(L\)-presentation. This type of presentation incorporates all finite presentations as well as certain infinite presentations. The algorithm allows a variety of polycyclic quotients ranging from maximal nilpotent quotients of a given class to the maximal solvable quotients of a given derived length. The algorithm uses Groebner bases over integral group rings of polycyclic groups as main means of its computation. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-15582-6_10 Dependencies: GAP Keywords: polycyclic quotients; nilpotent quotients; finitely presented groups; \(L\)-presented groups; Gr”obner bases; polycyclic presentations; algorithms Related Software: Magma; GAP Cited in: 2 Documents Cited by 3 Authors 1 Eick, Bettina 1 Horn, Max 1 Požar, Rok Cited in 1 Serial 1 Journal of Symbolic Computation Cited in 2 Fields 2 Group theory and generalizations (20-XX) 1 Computer science (68-XX) Citations by Year