[1XThe [5XCrime[0X Package[0X Version 1.3 Marcus Bishop Marcus Bishop Email: [7Xmailto:marcus.bishop@gmail.com[0X ------------------------------------------------------- [1XCopyright[0X © 2006, 2007 Marcus Bishop Crime is free software which is distributed under the GNU Public Licence, version 2, and may be redistributed under the GNU Public Licence, version 2 or later (at your preference). See the file COPYING for detailed information ------------------------------------------------------- [1XAcknowledgements[0X This project would not have been possible without Jon Carlson. Jon devised the algorithms used by [9XProjectiveResolution[0X, [9XCohomologyGenerators[0X, and [9XCohomologyRelators[0X, having already implemented them in [5XMagma[0X, and shared these programs with me. ------------------------------------------------------- [1XContent (crime)[0X 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 [9Xn[0X Isn't Big Enough? 2.7 Induced Maps 2.7-1 InducedHomomorphismOnCohomology 2.7-2 Inclusion 2.8 Massey Products 2.8-1 MasseyProduct A. Some Benchmarks B. Leisure and Recreation: Cohomology Rings of all Groups of Size 16 -------------------------------------------------------