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
<!-- This is an automatically generated file. -->
4
<Chapter Label="Chapter_Serre_Quotients_Subcategory">
5
<Heading>Serre Quotients Subcategory</Heading>
6

7
This is an implementation of a convenience object for Serre quotients.
8
The Subcategory implemented in this file is not a CAP category at all,
9
but only a handler for the serre quotient construction.
10
It does not contain objects or anything useful, it is just a wrapper for the
11
function the Serre quotient is based upon.
12
<Section Label="Chapter_Serre_Quotients_Subcategory_Section_implementation">
13
<Heading>implementation</Heading>
14

15
<ManSection>
16
  <Oper Arg="C,func" Name="FullSubcategoryByMembershipFunction" Label="for IsCapCategory, IsFunction"/>
17
 <Returns>a function handler
18
</Returns>
19
 <Description>
20
Creates an object which handles the function to create a Serre quotient category.
21
It can be used instead of the function for Serre quotients.
22
Note that the result is *NOT A CATEGORY* and can not be seen as one.
23
 </Description>
24
</ManSection>
25

26

27
</Section>
28

29

30
</Chapter>
31

32

33