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
<?xml version="1.0" encoding="UTF-8"?>

2


3
<!-- 

4


5
  Modules.xml            Modules package documentation

6


7
         Copyright (C) 2007-2009, Mohamed Barakat, RWTH-Aachen

8


9
-->

10


11
<Chapter Label="Modules">

12
<Heading>Modules</Heading>

13


14
<#Include Label="Modules:intro">

15


16
<Section Label="Modules:Category">

17
<Heading>Modules: Category and Representations</Heading>

18


19
<#Include Label="IsHomalgModule">

20


21
<#Include Label="IsFinitelyPresentedModuleOrSubmoduleRep">

22
<#Include Label="IsFinitelyPresentedModuleRep">

23
<#Include Label="IsFinitelyPresentedSubmoduleRep">

24


25
</Section>

26


27
<Section Label="Modules:Constructors">

28
<Heading>Modules: Constructors</Heading>

29


30
<#Include Label="LeftPresentation">

31
<#Include Label="RightPresentation">

32
<#Include Label="HomalgFreeLeftModule">

33
<#Include Label="HomalgFreeRightModule">

34
<#Include Label="HomalgZeroLeftModule">

35
<#Include Label="HomalgZeroRightModule">

36
<#Include Label="\*:ModuleBaseChange">

37
<#Include Label="Subobject:matrix">

38
<#Include Label="Subobject:list">

39
<#Include Label="LeftSubmodule">

40
<#Include Label="RightSubmodule">

41


42
</Section>

43


44
<Section Label="Modules:Properties">

45
<Heading>Modules: Properties</Heading>

46


47
<#Include Label="IsCyclic">

48
<#Include Label="IsHolonomic">

49
<#Include Label="IsReduced">

50
<#Include Label="IsPrimeIdeal">

51
<#Include Label="IsPrimeModule">

52


53
For more properties see the corresponding section <Ref BookName="homalg"

54
Sect="Objects: Properties"/>) in the documentation of the &homalg; package.

55


56
</Section>

57


58
<Section Label="Modules:Attributes">

59
<Heading>Modules: Attributes</Heading>

60


61
<#Include Label="ResidueClassRing">

62
<#Include Label="PrimaryDecomposition">

63
<#Include Label="RadicalDecomposition">

64
<#Include Label="ModuleOfKaehlerDifferentials">

65
<#Include Label="RadicalSubobject">

66
<#Include Label="SymmetricAlgebra">

67
<#Include Label="ExteriorAlgebra">

68


69
<!-- the following attributes are intrinsic in the sense that

70
     they can safely be attached to any copy of the module -->

71


72
<#Include Label="ElementaryDivisors">

73
<#Include Label="FittingIdeal">

74
<#Include Label="NonFlatLocus">

75
<#Include Label="LargestMinimalNumberOfLocalGenerators">

76


77
<#Include Label="CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries">

78
<#Include Label="CoefficientsOfNumeratorOfHilbertPoincareSeries">

79
<#Include Label="UnreducedNumeratorOfHilbertPoincareSeries">

80
<#Include Label="NumeratorOfHilbertPoincareSeries">

81
<#Include Label="HilbertPoincareSeries">

82
<#Include Label="AffineDegree">

83
<#Include Label="DataOfHilbertFunction">

84
<#Include Label="HilbertFunction">

85
<#Include Label="IndexOfRegularity">

86


87
For more attributes see the corresponding section <Ref BookName="homalg"

88
Sect="Objects: Attributes"/>) in the documentation of the &homalg; package.

89


90
</Section>

91


92
<Section Label="Modules:Operations">

93
<Heading>Modules: Operations and Functions</Heading>

94


95
<#Include Label="HomalgRing:module">

96
<#Include Label="ByASmallerPresentation:module">

97
<#Include Label="SubmoduleOfIdealMultiples">

98
<#Include Label="SubobjectQuotient">

99


100
</Section>

101


102
<!-- ############################################################ -->

103


104
</Chapter>

105


106