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
                           ModulePresentationsForCAP 

4
  

5
  

6
                            Category R-pres for CAP 

7
  

8
  

9
                                   2017.09.09

10
  

11
  

12
                                9 September 2017

13
  

14
  

15
                               Sebastian Gutsche

16
  

17
                                Sebastian Posur

18
  

19
  

20
  

21
  Sebastian Gutsche

22
      Email:    mailto:[email protected]

23
      Homepage: http://www.uni-siegen.de/fb6/rmi/

24
      Address:  Department Mathematik

25
                Universität Siegen

26
                Walter-Flex-Straße 3

27
                57068 Siegen

28
                Germany

29
  

30
  

31
  Sebastian Posur

32
      Email:    mailto:[email protected]

33
      Homepage: http://www.uni-siegen.de/fb6/rmi/

34
      Address:  Department Mathematik

35
                Universität Siegen

36
                Walter-Flex-Straße 3

37
                57068 Siegen

38
                Germany

39
  

40
  

41
  

42
  -------------------------------------------------------

43
  

44
  

45
  Contents (ModulePresentationsForCAP)

46
  

47
  1 Module Presentations

48
    1.1 Functors

49
      1.1-1 FunctorStandardModuleLeft

50
      1.1-2 FunctorStandardModuleRight

51
      1.1-3 FunctorGetRidOfZeroGeneratorsLeft

52
      1.1-4 FunctorGetRidOfZeroGeneratorsRight

53
      1.1-5 FunctorLessGeneratorsLeft

54
      1.1-6 FunctorLessGeneratorsRight

55
      1.1-7 FunctorDualLeft

56
      1.1-8 FunctorDualRight

57
      1.1-9 FunctorDoubleDualLeft

58
      1.1-10 FunctorDoubleDualRight

59
    1.2 GAP Categories

60
      1.2-1 IsLeftOrRightPresentationMorphism

61
      1.2-2 IsLeftPresentationMorphism

62
      1.2-3 IsRightPresentationMorphism

63
      1.2-4 IsLeftOrRightPresentation

64
      1.2-5 IsLeftPresentation

65
      1.2-6 IsRightPresentation

66
    1.3 Constructors

67
      1.3-1 PresentationMorphism

68
      1.3-2 AsMorphismBetweenFreeLeftPresentations

69
      1.3-3 AsMorphismBetweenFreeRightPresentations

70
      1.3-4 AsLeftPresentation

71
      1.3-5 AsRightPresentation

72
      1.3-6 AsLeftOrRightPresentation

73
      1.3-7 FreeLeftPresentation

74
      1.3-8 FreeRightPresentation

75
      1.3-9 UnderlyingMatrix

76
      1.3-10 UnderlyingHomalgRing

77
      1.3-11 Annihilator

78
      1.3-12 LeftPresentations

79
      1.3-13 RightPresentations

80
    1.4 Attributes

81
      1.4-1 UnderlyingHomalgRing

82
      1.4-2 UnderlyingMatrix

83
    1.5 Non-Categorical Operations

84
      1.5-1 StandardGeneratorMorphism

85
      1.5-2 CoverByFreeModule

86
    1.6 Natural Transformations

87
      1.6-1 NaturalIsomorphismFromIdentityToStandardModuleLeft

88
      1.6-2 NaturalIsomorphismFromIdentityToStandardModuleRight

89
      1.6-3 NaturalIsomorphismFromIdentityToGetRidOfZeroGeneratorsLeft

90
      1.6-4 NaturalIsomorphismFromIdentityToGetRidOfZeroGeneratorsRight

91
      1.6-5 NaturalIsomorphismFromIdentityToLessGeneratorsLeft

92
      1.6-6 NaturalIsomorphismFromIdentityToLessGeneratorsRight

93
      1.6-7 NaturalTransformationFromIdentityToDoubleDualLeft

94
      1.6-8 NaturalTransformationFromIdentityToDoubleDualRight

95
  2 Examples and Tests

96
    2.1 Annihilator

97
    2.2 Intersection of Submodules

98
    2.3 Koszul Complex

99
    2.4 Closed Monoidal Structure

100
  

101
  

102
  

103


104