CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

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

Views: 418346
Tweet
Share
Share
1
  

2
  

3
  Index

4
  

5
  2d-domain 2. 

6
  2d-group 2. 

7
  2d-mapping 3. 

8
  2dimensional-domain with objects 9.1 

9
  3d-domain 8. 

10
  3d-group 8. 

11
  3d-mapping 8.3 

12
  abelian module 10.2 

13
  AbelianModuleAction 10.2-1 

14
  AbelianModuleGroup 10.2-1 

15
  AbelianModuleObject 10.2-1 

16
  actor 6.1 

17
  ActorCrossedSquare 8.2-1 

18
  ActorXMod 6.1-2 

19
  AllCat1DataGroupsBasic 2.6-2 

20
  AllDerivations 5.2-1 

21
  AllInducedXMods 7.2-2 

22
  AllSections 5.2-1 

23
  AllStemGroupFamilies 4.2-2 

24
  AllStemGroupIds 4.2-2 

25
  AllXMods 4.1-11 

26
  AllXModsUpToIsomorphism 4.1-12 

27
  AreIsoclinicDomains 4.2-1  4.3-1 

28
  AutoGroup 2.1-2 

29
  AutomorphismPermGroup 6.1-1  6.1-2 

30
  Boundary 2.1-2  2.4-2 

31
  cat1-group 2.4 

32
  Cat1Group 2.4-1 

33
  Cat1GroupByPeifferQuotient 2.4-3 

34
  Cat1GroupOfXMod 2.5-2 

35
  Cat1Morphism 3.3-1 

36
  Cat1MorphismByHoms 3.3-1 

37
  Cat1Select 2.6-1 

38
  cat2-group 8.4 

39
  Cat2Group 8.4-1 

40
  Cat2GroupOfCrossedSquare 8.4-2 

41
  catn-group 8.5 

42
  Centralizer 4.1-7 

43
  CentralQuotient 4.1-8  8.2-2 

44
  CentreXMod 4.1-7 

45
  CommutatorSubXMod 4.1-4 

46
  CompositeDerivation 5.2-2 

47
  CompositeSection 5.2-2 

48
  CompositionMorphism 3.4-1 

49
  CoproductXMod 7.1-1 

50
  CrossActionSubgroup 4.1-4 

51
  crossed module 2.1 

52
  crossed module morphism 3.1 

53
  crossed module of groupoids 9. 

54
  crossed module over a groupoid 9.1 

55
  crossed pairing 8.1 

56
  crossed square 6.1-2  8.1 

57
  crossed square morphism 8.3 

58
  CrossedPairing 8.2-4 

59
  CrossedSquare 8.2-1 

60
  CrossedSquareByNormalSubgroups 8.2-1 

61
  CrossedSquareOfCat2Group 8.4-2 

62
  derivation, of crossed module 5.1-1 

63
  DerivationByImages 5.1-2 

64
  DerivationBySection 5.1-3 

65
  DerivedSubXMod 4.1-5 

66
  DiagonalAction 8.2-4 

67
  DiagonalCat1Group 2.4-3 

68
  DirectProductOp 2.1-1 

69
  Displacement 4.1-3 

70
  DisplacementSubgroup 4.1-3 

71
  display a 2d-group 2.1-4 

72
  display a 2d-mapping 3.2-3 

73
  Down2DimensionalGroup 8.2-4 

74
  Down2DimensionalMorphism 8.3-1 

75
  EndomorphismPreCat1Group 2.5-1 

76
  ExternalSetXMod 2.1-4 

77
  FactorPreXMod 4.1-1 

78
  FixedPointSubgroupXMod 4.1-6 

79
  GeneratingAutomorphisms 6.1-1 

80
  HeadMap 2.4-2 

81
  IdentityMapping 3.2-3  3.3-1 

82
  IdGroup 2.1-4  2.7-1 

83
  ImageElmCrossedPairing 8.2-4 

84
  ImageElmXModAction 2.1-3 

85
  ImagesList 5.2-1 

86
  ImagesTable 5.2-1 

87
  inclusion mapping 10.1 

88
  InclusionMappingGroups 10.1-1 

89
  InclusionMorphism2DimensionalDomains 3.2-3  3.3-1 

90
  induced crossed module 7.2 

91
  InducedCat1 7.2-1 

92
  InducedXMod 7.2-1 

93
  InfoXMod 1. 

94
  InnerActorXMod 6.1-3 

95
  InnerAutomorphismCat1 3.3-1 

96
  InnerAutomorphismsByNormalSubgroup 10.1-2 

97
  InnerAutomorphismXMod 3.2-3 

98
  InnerMorphism 6.1-3 

99
  IntersectionSubXMods 4.1-2 

100
  Is2DimensionalDomain 2.2 

101
  Is2DimensionalGroup 2.2 

102
  Is2DimensionalGroupWithObjects 9.1-2 

103
  Is3dObject 8.2-3 

104
  IsAbelian2DimensionalGroup 4.1-9 

105
  IsAbelianModule 10.2-1 

106
  IsAbelianModule2DimensionalGroup 2.2 

107
  IsAspherical2DimensionalGroup 4.1-9 

108
  IsAutomorphism3dObject 8.3-2 

109
  IsAutomorphismGroup2DimensionalGroup 2.2 

110
  IsBijective 3.2-2  8.3-2 

111
  IsCat1Group 2.5-1 

112
  IsCat1Morphism 3.3-1 

113
  IsCentralExtension2DimensionalGroup 2.2 

114
  IsCrossedSquare 8.2-3 

115
  IsCrossedSquareMorphism 8.3-2 

116
  IsDerivation 5.1-1 

117
  IsDirectProductWithCompleteDigraphDomain 9.1-2 

118
  IsEndo2DimensionalMapping 3.2-2 

119
  IsEndomorphism3dObject 8.3-2 

120
  IsEndomorphismPreCat1Group 2.5-1 

121
  IsFaithful2DimensionalGroup 4.1-9 

122
  IsFp2DimensionalGroup 2.2-1 

123
  IsFp3dObject 8.2-3 

124
  IsFpPreXModWithObjects 9.1-3 

125
  IsGroupOfAutomorphisms 10.1-2 

126
  IsIdentityCat1Group 2.5-1 

127
  IsInducedXMod 7.2-1 

128
  IsInjective 3.2-2 

129
  IsNilpotent2DimensionalGroup 4.1-10 

130
  IsNormal for crossed modules 2.2-1 

131
  IsNormalSubgroup2DimensionalGroup 2.2 

132
  IsoclinicMiddleLength 4.2-3  4.3-3 

133
  IsoclinicRank 4.2-3  4.3-3 

134
  IsoclinicStemDomain 4.2-2  4.3-2 

135
  Isoclinism 4.2-1  4.3-1 

136
  IsomorphismByIsomorphisms 3.2-4 

137
  IsomorphismFp2DimensionalGroup 3.3-2 

138
  IsomorphismPc2DimensionalGroup 3.2-4  3.3-2 

139
  IsomorphismPerm2DimensionalGroup 3.2-4  3.3-2 

140
  IsomorphismPermObject 3.3-2 

141
  IsomorphismXMods 4.1-12 

142
  IsPc2DimensionalGroup 2.2-1 

143
  IsPc3dObject 8.2-3 

144
  IsPcPreXModWithObjects 9.1-3 

145
  IsPerm2DimensionalGroup 2.2-1 

146
  IsPerm3dObject 8.2-3 

147
  IsPermPreXModWithObjects 9.1-3 

148
  IsPreCat1Morphism 3.3-1 

149
  IsPreCrossedSquare 8.2-3 

150
  IsPreCrossedSquareMorphism 8.3-2 

151
  IsPreXCat1Group 2.5-1 

152
  IsPreXMod 2.2-1 

153
  IsPreXModMorphism 3.2-1 

154
  IsPreXModWithObjects 9.1-2 

155
  IsSection 5.1-1 

156
  IsSimplyConnected2DimensionalGroup 4.1-9 

157
  IsSingleValued 3.2-2 

158
  IsStemDomain 4.2-2  4.3-2 

159
  IsSurjective 3.2-2 

160
  IsTotal 3.2-2 

161
  IsTrivialAction2DimensionalGroup 2.2 

162
  IsUp2DimensionalMapping 5.1-1 

163
  IsXMod 2.2-1 

164
  IsXModMorphism 3.2-1 

165
  IsXModWithObjects 9.1-2 

166
  Kernel 3.4-2 

167
  Kernel2DimensionalMapping 3.4-2 

168
  KernelEmbedding 2.4-2 

169
  Left2DimensionalGroup 8.2-4 

170
  Left2DimensionalMorphism 8.3-1 

171
  License .-2 

172
  LowerCentralSeriesOfXMod 4.1-10 

173
  LueXMod 6.1-2 

174
  MappingToOne 10.1-1 

175
  morphism 3.2 

176
  morphism of 2d-group 3.1 

177
  morphism of 3d-group 8.3 

178
  MorphismOfInducedXMod 7.2-1 

179
  Name 2.1-4  2.4-2  8.2-1 

180
  NaturalMorphismByNormalSubPreXMod 4.1-1 

181
  NilpotencyClass2DimensionalGroup 4.1-10 

182
  Normalizer 4.1-7 

183
  NormalSubXMods 2.2-2 

184
  NorrieXMod 6.1-2 

185
  ObjectList 9.1-4 

186
  operations on morphisms 3.4 

187
  order of a 2d-automorphism 3.2-3 

188
  Peiffer subgroup 2.3-1 

189
  PeifferSubgroup 2.3-2 

190
  PermAutomorphismAsXModMorphism 6.1-1 

191
  pre-crossed module 2.3 

192
  PreCat1Group 2.4-1 

193
  PreCat1GroupByEndomorphisms 2.4-1 

194
  PreCat1GroupByNormalSubgroup 2.4-3 

195
  PreCat1GroupByTailHeadEmbedding 2.4-1 

196
  PreCat1GroupOfPreXMod 2.5-2 

197
  PreCat1Morphism 3.3-1 

198
  PreCat1MorphismByHoms 3.3-1 

199
  PreCat2Group 8.4-1 

200
  PreCat2GroupByPreCat1Groups 8.4-1 

201
  PreXModByBoundaryAndAction 2.3-1 

202
  PreXModMorphism 3.2-3 

203
  PreXModMorphismByHoms 3.2-3 

204
  PreXModOfPreCat1Group 2.5-2 

205
  Range 2.1-2  2.4-2  3.1-1  8.3-1 

206
  RangeEmbedding 2.4-2 

207
  RangeHom 3.1-1 

208
  regular derivation 5.1-1 

209
  RegularDerivations 5.2-1 

210
  RegularSections 5.2-1 

211
  restriction mapping 10.1 

212
  ReverseCat1Group 2.4-3 

213
  Right2DimensionalGroup 8.2-4 

214
  Right2DimensionalMorphism 8.3-1 

215
  Root2dGroup 9.1-4 

216
  section, of cat1-group 5.1-1 

217
  SectionByDerivation 5.1-3 

218
  SectionByImages 5.1-3 

219
  selection of a small cat1-group 2.6 

220
  SinglePiecePreXModWithObjects 9.1-1 

221
  Size 2.1-4  2.4-2 

222
  SmallerDegreePerm2DimensionalDomain 3.3-2 

223
  Source 2.1-2  2.4-2  3.1-1  8.3-1 

224
  SourceHom 3.1-1 

225
  StabilizerSubgroupXMod 4.1-6 

226
  StructureDescription 2.7-1 

227
  SubPreXMod 2.3-1 

228
  SubXMod 2.2-2 

229
  TailMap 2.4-2 

230
  Transpose3dGroup 8.2-1 

231
  TrivialSubXMod 2.2-2 

232
  up 2d-mapping of 2d-group 5. 

233
  Up2DimensionalGroup 8.2-4 

234
  Up2DimensionalMorphism 8.3-1 

235
  UpGeneratorImages 5.2-2 

236
  UpImagePositions 5.2-2 

237
  version 1 for GAP 3 11.1-1 

238
  version 2.001 for GAP 4 11.1-3 

239
  Whitehead group 5.1-1 

240
  Whitehead monoid 5.1-1 

241
  Whitehead multiplication 5.1  5.1-1 

242
  WhiteheadGroupTable 5.2-3 

243
  WhiteheadMonoidTable 5.2-3 

244
  WhiteheadPermGroup 5.2-3 

245
  WhiteheadTransMonoid 5.2-3 

246
  WhiteheadXMod 6.1-2 

247
  XMod 2.1-1 

248
  XModAction 2.1-2  9.1-4 

249
  XModByAbelianModule 2.1-1 

250
  XModByAutomorphismGroup 2.1-1 

251
  XModByBoundaryAndAction 2.1-1 

252
  XModByCentralExtension 2.1-1 

253
  XModByGroupOfAutomorphisms 2.1-1 

254
  XModByInnerAutomorphismGroup 2.1-1 

255
  XModByNormalSubgroup 2.1-1 

256
  XModByPeifferQuotient 2.3-2 

257
  XModByTrivialAction 2.1-1 

258
  XModCentre 6.1-3 

259
  XModMorphism 3.2-3 

260
  XModMorphismByHoms 3.2-3 

261
  XModOfCat1Group 2.5-2 

262
  

263
  

264
  -------------------------------------------------------

265


266