GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
<?xml version="1.0" encoding="UTF-8"?>
2

3
<!-- 
4

5
  appendix.xml            Modules package documentation
6

7
         Copyright (C) 2007-2009, Mohamed Barakat, RWTH-Aachen
8

9
-->
10

11
<Appendix Label="FileOverview">
12
<Heading>Overview of the &Modules; Package Source Code</Heading>
13

14
<Section Label="ModuleInternals">
15

16
<Heading>Relations and Generators</Heading>
17

18
<Table Align="l|l">
19
<Caption><E>The &homalg; package files</E></Caption>
20

21
<Row><Item>Filename <F>.gd</F>/<F>.gi</F></Item><Item>Content</Item></Row>
22

23
<HorLine/>
24

25
<Row>
26
  <Item><F>HomalgRingMap</F></Item>
27
  <Item>operations and methods ring maps</Item>
28
</Row>
29

30
<Row><Item></Item><Item></Item></Row>
31

32
<Row>
33
  <Item><F>HomalgRelations</F></Item>
34
  <Item>a set of relations</Item>
35
</Row>
36

37
<Row>
38
  <Item><F>SetsOfRelations</F></Item>
39
  <Item>several sets of relations</Item>
40
</Row>
41

42
<Row>
43
  <Item><F>HomalgGenerators</F></Item>
44
  <Item>a set of generators</Item>
45
</Row>
46

47
<Row>
48
  <Item><F>SetsOfGenerators</F></Item>
49
  <Item>several sets of generators</Item>
50
</Row>
51

52
</Table>
53

54
</Section>
55

56
<Section Label="The Basic Objects">
57

58
<Heading>The Basic Objects</Heading>
59

60
<Table Align="l|l">
61
<Caption><E>The &homalg; package files (continued)</E></Caption>
62

63
<Row><Item>Filename <F>.gd</F>/<F>.gi</F></Item><Item>Content</Item></Row>
64

65
<HorLine/>
66

67
<Row>
68
  <Item><F>HomalgModule</F></Item>
69
  <Item>modules allowing several presentations</Item>
70
</Row>
71

72
<Row>
73
  <Item></Item>
74
  <Item>linked with transition matrices</Item>
75
</Row>
76

77
<Row><Item></Item><Item></Item></Row>
78

79
<Row>
80
  <Item><F>HomalgSubmodule</F></Item>
81
  <Item>submodules allowing several sets of generators</Item>
82
</Row>
83

84
<Row><Item></Item><Item></Item></Row>
85

86
<Row>
87
  <Item><F>HomalgMap</F></Item>
88
  <Item>maps allowing several presentations</Item>
89
</Row>
90

91
<Row>
92
  <Item></Item>
93
  <Item>of their source and target</Item>
94
</Row>
95

96
<Row><Item></Item><Item></Item></Row>
97

98
<Row>
99
  <Item><F>HomalgFiltration</F></Item>
100
  <Item>filtration of a module</Item>
101
</Row>
102

103
<Row><Item></Item><Item></Item></Row>
104

105
<Row>
106
  <Item><F>HomalgComplex</F></Item>
107
  <Item>(co)complexes of modules or of (co)complexes</Item>
108
</Row>
109

110
<Row><Item></Item><Item></Item></Row>
111

112
<Row>
113
  <Item><F>HomalgChainMap</F></Item>
114
  <Item>chain maps of (co)complexes</Item>
115
</Row>
116

117
<Row>
118
  <Item></Item>
119
  <Item>consisting of maps or chain maps</Item>
120
</Row>
121

122
<Row><Item></Item><Item></Item></Row>
123

124
<Row>
125
  <Item><F>HomalgBicomplex</F></Item>
126
  <Item>bicomplexes of modules or of (co)complexes</Item>
127
</Row>
128

129
<Row><Item></Item><Item></Item></Row>
130

131
<Row>
132
  <Item><F>HomalgBigradedObject</F></Item>
133
  <Item>(differential) bigraded modules</Item>
134
</Row>
135

136
<Row><Item></Item><Item></Item></Row>
137

138
<Row>
139
  <Item><F>HomalgSpectralSequence</F></Item>
140
  <Item>homological and cohomological</Item>
141
</Row>
142

143
<Row>
144
  <Item></Item>
145
  <Item>spectral sequences</Item>
146
</Row>
147

148
<Row><Item></Item><Item></Item></Row>
149

150
<Row>
151
  <Item><F>HomalgDiagram</F></Item>
152
  <Item>Betti diagrams</Item>
153
</Row>
154

155
</Table>
156

157
</Section>
158

159
<Section Label="High Level Homological Algorithms">
160

161
<Heading>The High Level Homological Algorithms</Heading>
162

163
<Table Align="l|l">
164
<Caption><E>The &homalg; package files (continued)</E></Caption>
165
<Row><Item>Filename <F>.gd</F>/<F>.gi</F></Item><Item>Content</Item></Row>
166

167
<HorLine/>
168

169
<Row>
170
  <Item><F>Modules</F></Item>
171
  <Item>subfactors, resolutions,</Item>
172
</Row>
173

174
<Row>
175
  <Item></Item>
176
  <Item>parameterizations, intersections, annihilators</Item>
177
</Row>
178

179
<Row>
180
  <Item><F>ToolFunctors</F></Item>
181
  <Item>zero map, composition, addition, substraction,</Item>
182
</Row>
183

184
<Row>
185
  <Item></Item>
186
  <Item>stacking, augmentation, and post dividing maps</Item>
187
</Row>
188

189
<Row>
190
  <Item><F>BasicFunctors</F></Item>
191
  <Item>cokernel, image, kernel, tensor product, Hom,</Item>
192
</Row>
193

194
<Row>
195
  <Item></Item>
196
  <Item>Ext, Tor, RHom, LTensorProduct, HomHom, LHomHom,</Item>
197
</Row>
198

199
<Row>
200
  <Item></Item>
201
  <Item>BaseChange (preliminary)</Item>
202
</Row>
203

204
<Row>
205
  <Item><F>OtherFunctors</F></Item>
206
  <Item>direct sum</Item>
207
</Row>
208

209
</Table>
210

211
</Section>
212

213
<Section Label="Logical Implications">
214

215
<Heading>Logical Implications for &homalg; Objects</Heading>
216

217
<Table Align="l|l">
218
<Caption><E>The &homalg; package files (continued)</E></Caption>
219
<Row><Item>Filename <F>.gd</F>/<F>.gi</F></Item><Item>Content</Item></Row>
220

221
<HorLine/>
222

223
<Row>
224
  <Item><F>LIMOD</F></Item>
225
  <Item>logical implications for modules</Item>
226
</Row>
227

228
<Row><Item></Item><Item></Item></Row>
229

230
<Row>
231
  <Item><F>LIHOM</F></Item>
232
  <Item>logical implications for module homomorphisms</Item>
233
</Row>
234

235
</Table>
236

237
</Section>
238

239
</Appendix>
240

241