Package: gap-grpconst (2.7.0-1.1)

O pacote GrpConst contém métodos para construir a menos de isomorfismo os grupos de uma ordem dada. O FrattiniExtensionMethod constrói todos os grupos solúveis de uma ordem dada. A pedido, dá apenas aqueles que são (ou não são) nilpotentes ou supersolúveis ou que (não) têm subgrupos de Sylow normais para um conjunto dado de primos. O CyclicSplitExtensionMethod constrói todos os grupos que têm um subgrupo de Sylow normal para ordens do tipo p^n *q. O método baseia-se na disponibilidade de uma lista de todos os grupos de ordem p^n. O algoritmo UpwardsExtensions toma como entrada um grupo de permutações G e um inteiro positivo s e devolve uma lista de grupos de permutações, um para cada extensão de G por um grupo solúvel de ordem um divisor de s. Este método pode ser usado para construir os grupos não solúveis de uma ordem dada tomando os grupos perfeitos de certas ordens como entrada para G. Os programas deste pacote foram usados para construir uma grande parte da biblioteca Small Groups.