Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

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

563544 views
Tweet
Share
Share
1
  

2
  6 Basics

3
  

4
  

5
  6.1 Categories

6
  

7
  6.1-1 IsStructureObjectOrObjectOrMorphism

8
  

9
  IsStructureObjectOrObjectOrMorphism( arg )  filter

10
  Returns:  true or false

11
  

12
  This  is  the super super GAP-category which will include the GAP-categories

13
  IsStructureObjectOrObject and IsHomalgObjectOrMorphism

14
  

15
  6.1-2 IsStructureObjectOrObject

16
  

17
  IsStructureObjectOrObject( arg )  filter

18
  Returns:  true or false

19
  

20
  This  is  the  super  GAP-category  which  will  include  the GAP-categories

21
  IsHomalgRing, IsHomalgModule, IsHomalgRingOrModule and IsHomalgComplex

22
  

23
  6.1-3 IsStructureObject

24
  

25
  IsStructureObject( arg )  filter

26
  Returns:  true or false

27
  

28
  This  is  the  super  GAP-category  which  will  include  the GAP-categories

29
  IsHomalgRing  we  need  this  GAP-category to define things like Hom(M,R) as

30
  easy  as  Hom(M,N)  without  distinguishing  between structure objects (e.g.

31
  rings) and objects (e.g. modules)

32
  

33
  6.1-4 IsStructureObjectMorphism

34
  

35
  IsStructureObjectMorphism( arg )  filter

36
  Returns:  true or false

37
  

38
  This  is  the  super  GAP-category  which  will  include  the GAP-categories

39
  IsHomalgRingMap, etc.

40
  

41
  6.1-5 IsHomalgRingOrModule

42
  

43
  IsHomalgRingOrModule( arg )  filter

44
  Returns:  true or false

45
  

46
  this  is  the  super  GAP-category  which  will  include  the GAP-categories

47
  IsHomalgRing, IsHomalgModule:

48
  

49


50