GAP

Main BranchesDownloads Installation Overview Data Libraries Packages Documentation Contacts FAQ GAP 3 

Find us on GitHubNavigation Tree

GAP package CRISPComputing with Radicals, Injectors, Schunck classes and ProjectorsThe GAP package CRISP provides algorithms for computing subgroups of finite soluble groups related to a group class C. In particular, it allows to compute Cradicals and Cinjectors for Fitting classes (and Fitting sets) C, Cresiduals for formations C, and Cprojectors for Schunck classes C. In order to carry out these computations, the group class C must be represented by an algorithm which can decide membership in the group class. Moreover, CRISP contains algorithms for the computation of normal subgroups invariant under a prescribed set of automorphisms and belonging to a given group class. This includes an improved method to compute the set of all normal subgroups of a finite soluble group, its characteristic subgroups, minimal normal subgroups and the socle and psocles for given primes p. [WWW homepage] [Source code repository] [Issue tracker]
