[1X [5XHAPprime[0m[1X [0m [1X More homological algebra with prime power groups  [0m Version 0.3.2 13 February 2009 Paul Smith Paul Smith Email: [7Xmailto:paul.smith@nuigalway.ie[0m Homepage: [7Xhttp://www.maths.nuigalway.ie/~pas[0m Address: Department of Mathematics, National University of Ireland, Galway Galway, Ireland. ------------------------------------------------------- [1XCopyright[0m © 2006-2009 Paul Smith [5XHAPprime[0m is released under the GNU General Public License (GPL). This file is part of [5XHAPprime[0m, though as documentation it is released under the GNU Free Documentation License (see [7Xhttp://www.gnu.org/licenses/licenses.html#FDL[0m). [5XHAPprime[0m is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. [5XHAPprime[0m is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with [5XHAPprime[0m; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA For more details, see [7Xhttp://www.fsf.org/licenses/gpl.html[0m. ------------------------------------------------------- [1XAcknowledgements[0m [5XHAPprime[0m is supported by a Marie Curie Transfer of Knowledge grant based at the Department of Mathematics, NUI Galway (MTKD-CT-2006-042685) ------------------------------------------------------- [1XContents (HAPprime)[0X 1 Introduction 1.1 Introduction to the [5XHAPprime[0m package 1.2 Required software 1.3 Installing [5XHAPprime[0m 1.4 Loading and testing [5XHAPprime[0m 1.5 Documentation 1.5-1 MakeHAPprimeDoc 1.6 Displaying progress and calculation information 1.6-1 InfoHAPprime 2 Examples 2.1 Computing the mod p group cohomology 2.2 Computing mod-p cohomology rings and their Poincaré series 2.2-1 A ring presentation for the mod p cohomology (up to degree n) 2.2-2 Calculating a provably-correct mod-p cohomology 2.2-3 Computing Poincaré series 2.3 Comparing the memory usage and speed of [5XHAPprime[0m and [5XHAP[0m's [9XResolutionPrimePowerGroup[0m functions 2.3-1 [5XHAPprime[0m takes less memory to store resolutions 2.3-2 [5XHAPprime[0m takes less memory to compute resolutions 2.3-3 Automatic selection of the best method 3 Functions for Homological Algebra 3.1 Resolutions 3.1-1 ResolutionPrimePowerGroup 3.1-2 ExtendResolutionPrimePowerGroup 3.2 Poincaré Series 3.2-1 PoincareSeriesLHS 3.3 Cohomology Ring structure 3.3-1 ModPCohomologyRingPresentation -------------------------------------------------------