Skip to main content

Browse the archive

https://github.com/bh11/crisp
26 December 2022, 17:44:31 UTC
Raw File
Tip revision: 21357d099c2d3d6695708902f1646db6460f3523 authored by bh11 on 13 March 2013, 21:26:34 UTC
Removed tag CRISP1R3N6
Tip revision: 21357d0
index.html 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<HTML>
<HEAD>

<TITLE>GAP Package "CRISP"</TITLE>

</HEAD>

<BODY BGCOLOR="#ffffff">


<H1>

  <IMG src="logo.png" alt="CRISP">

</H1>

<P>
<B><EM>A GAP 4 package for <BR>
Computing with Radicals, Injectors<BR>
Schunck classes and Projectors<BR>
of finite solvable groups</EM></B>        
</P>



<DL> 
<DT>Author:

<DD>    <EM><a href="http://www.icm.tu-bs.de/~bhoeflin/">Burkhard H&ouml;fling</A>, 
e-mail: firstinitial.lastnameReplacing&Ouml;byOE@tu-bs.de
</EM> <BR>
<DT>Language:

<DD>     <EM>GAP (requires at least Version 4.4.12)</EM> <BR>

<DT>Operating System:

 <DD>    <EM>any</EM> <BR>

<DT>Current version:

 <DD>    <EM>1.3.6</EM>

<DT>Download:

 <DD>    <EM><A href="crisp-1r3n6.tar.bz2">crisp-1r3n6.tar.bz2</a> in .tar.bz2 format
     Other formats available from <a href="http://www.gap-system.org/Packages/crisp.html">the CRISP page on the GAP server.</a></EM>

<DT>Home page:

 <DD><a href="http://www.icm.tu-bs.de/~bhoeflin/crisp/index.html">http://www.icm.tu-bs.de/~bhoeflin/crisp/index.html</A>

</DD>

<DT>

    CRISP manual

</DT>

<DD> <EM><A href="http://www.gap-system.org/Manuals/pkg/crisp/html/chapters.htm">HTML</A>
     <A href="http://www.gap-system.org/Manuals/pkg/crisp/doc/manual.pdf">Adobe Acrobat PDF</A> 
     </EM></DD>
     
</DL> 


<H2>

    Description

</H2>


<P>
The GAP package CRISP provides algorithms for computing subgroups of
finite solvable groups related to group classes. In particular, it allows to compute <B>F</B>-radicals and <B>F</B>-injectors for Fitting classes (and Fitting sets) <B>F</B>, <B>F</B>-residuals for formations <B>F</B>, and <B>X</B>-projectors for Schunck classes <B>X</B>. In order to carry out these computations, the group
classes <B>F</B> and <B>X</B>must be given by an
algorithm which decides membership in the group class. </P>

<P>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 solvable group, its characteristic subgroups, and the socle and 
<i>p</i>-socles for given primes <i>p</i>.</P>


<ADDRESS>
Author: Burkhard H&ouml;fling<BR>
Last modified: 2013-03-13
</ADDRESS>

</BODY>
</HTML>
back to top