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

1
  
2
  6 Serre Quotients Subcategory
3
  
4
  This  is  an implementation of a convenience object for Serre quotients. The
5
  Subcategory  implemented in this file is not a CAP category at all, but only
6
  a  handler  for the serre quotient construction. It does not contain objects
7
  or anything useful, it is just a wrapper for the function the Serre quotient
8
  is based upon.
9
  
10
  
11
  6.1 implementation
12
  
13
  6.1-1 FullSubcategoryByMembershipFunction
14
  
15
  FullSubcategoryByMembershipFunction( C, func )  operation
16
  Returns:  a function handler
17
  
18
  Creates  an  object  which  handles  the function to create a Serre quotient
19
  category.  It  can be used instead of the function for Serre quotients. Note
20
  that the result is *NOT A CATEGORY* and can not be seen as one.
21
  
22

23