  
  
                               [1m[4m[31mThe [1mCrime[1m[4m[31m Package[0m
  
  
                                  Version 1.0
  
  
                                 Marcus Bishop
  
  
  
  Marcus Bishop
      Email:    [34mmailto:marcus.bishop@epfl.ch[0m
  
  -------------------------------------------------------
  [1m[4m[31mCopyright[0m
  (C) 2006 Marcus Bishop
  
  We  adopt  the  copyright  regulations  of  [1mGAP[0m as detailed in the copyright
  notice in the [1mGAP[0m manual.
  
  
  -------------------------------------------------------
  [1m[4m[31mAcknowledgements[0m
  This  project  would not have been possible without Jon Carlson. Jon devised
  the  algorithms  used  by  [22m[32mProjectiveResolution[0m,  [22m[32mCohomologyGenerators[0m,  and
  [22m[32mCohomologyRelators[0m,  having  already  implemented  them in [1mMagma[0m and sharing
  these programs with me.
  
  Thank  you  also  to Laurent Bartholdi for his helpful suggestions regarding
  the  [1mGAP[0m  implementation and the user interface, as well as for his proposal
  of  the  project  in  the  first  place.  Laurent  also  tested  the program
  extensively and uncovered several bugs.
  
  
  -------------------------------------------------------
  
  
  [1m[4m[31mContent (crime)[0m
  
  1. Installation and Loading
  2. Usage
    2.1 Cohomology Objects
      2.1-1 CohomologyObject
    2.2 Minimal Projective Resolutions
      2.2-1 ProjectiveResolution
      2.2-2 BoundaryMap
    2.3 Cohomology Generators and Relators
      2.3-1 CohomologyGenerators
      2.3-2 CohomologyRelators
    2.4 Tests for Completion
    2.5 Cohomology Rings
      2.5-1 CohomologyRing
      2.5-2 IsHomogeneous
      2.5-3 Degree
      2.5-4 LocateGeneratorsInCohomologyRing
    2.6 What Happens if [22m[32mn[0m Isn't Big Enough?
    2.7 Induced Maps
      2.7-1 InducedHomomorphismOnCohomology
      2.7-2 Inclusion
    2.8 Massey Products
      2.8-1 MasseyProduct
  3. Leisure and Recreation: Cohomology Rings of all Groups of Size 16
  
  
  -------------------------------------------------------
