GAP (HAPprime Datatypes) - Chapter 1: Introduction

Goto Chapter: Top 1 2 3 4 5 6 Ind
Top of Book Previous Chapter Next Chapter

1 Introduction
1.1 Internal function reference

### 1 Introduction

The HAPprime package is a GAP package which supplements the HAP package (http://hamilton.nuigalway.ie/Hap/www/), providing new and improved functions for doing homological algebra over small prime-power groups. A detailed overview of the HAPprime package, with examples and documentation of the high-level functions, is provided in the accompanying HAPprime user guide.

This document, the datatypes reference manual, supplements the HAPprime user guide. It describes the new GAP datatypes defined by the HAPprime package, and all of the associated functions for working with each of these datatypes. The datatypes are

`HAPResolution`

  (Chapter 2) this datatype, defined in the HAP package, represents a free FG-resolution of a FG-module. HAPprime extends the definition of this datatype to save memory, and provides additional functions to operate on resolutions.

`FpGModuleGF`

  (Chapter 3) a free FG-module compactly represented in terms of generating elements, with operations that do as much manipulation as possible within this form, thus minimizing memory use.

`FpGModuleHomomorphismGF`

  (Chapter 4) a free linear homomorphism between two FG-modules, each represented as a `FpGModuleGF`. this also uses the compact generator form to save memory in its operations.

In addition, Chapter 5 provides documentation for some general functions defined in HAPprime which extend some of the basic GAP functionality in areas such as matrices and polynomials.

Each chapter of this reference manual begins with an overview of the datatype, and then implementation details of any interesting functions. The function reference of related functions then follows, subdivided into sections of related functions. Examples demonstrating the use of each function are given at the end of each section.

Earlier versions of this datatypes reference manual also documented the datatypes `GradedAlgebraPresentation`, `HAPRingHomomorphism` and `HAPDerivation`. The definitions of these datatypes and their related functions are now part of HAP and will be documented as part of that package.

#### 1.1 Internal function reference

This version of the datatypes reference manual has been specially built to also provide documentation for all of the internal functions of HAPprime. (This can be done using the optional argument to `MakeHAPprimeDoc` (HAPprime: MakeHAPprimeDoc).) The documentation for these functions is found in Chapter 6.

Top of Book Previous Chapter Next Chapter
Goto Chapter: Top 1 2 3 4 5 6 Ind

generated by GAPDoc2HTML