\BOOKMARK [0][-]{chapter.1}{Introduction}{}% 1
\BOOKMARK [1][-]{section.1.1}{What is the role of the Modules package in the homalg project?}{chapter.1}% 2
\BOOKMARK [1][-]{section.1.2}{This manual}{chapter.1}% 3
\BOOKMARK [0][-]{chapter.2}{Installation of the Modules Package}{}% 4
\BOOKMARK [0][-]{chapter.3}{Quick Start}{}% 5
\BOOKMARK [1][-]{section.3.1}{Why are all examples in this manual over Z or Z/mZ?}{chapter.3}% 6
\BOOKMARK [1][-]{section.3.2}{gap> ExamplesForHomalg\(\);}{chapter.3}% 7
\BOOKMARK [1][-]{section.3.3}{A typical example}{chapter.3}% 8
\BOOKMARK [0][-]{chapter.4}{Ring Maps}{}% 9
\BOOKMARK [1][-]{section.4.1}{Ring Maps: Attributes}{chapter.4}% 10
\BOOKMARK [1][-]{section.4.2}{Ring Maps: Operations and Functions}{chapter.4}% 11
\BOOKMARK [0][-]{chapter.5}{Relations}{}% 12
\BOOKMARK [1][-]{section.5.1}{Relations: Categories and Representations}{chapter.5}% 13
\BOOKMARK [1][-]{section.5.2}{Relations: Constructors}{chapter.5}% 14
\BOOKMARK [1][-]{section.5.3}{Relations: Properties}{chapter.5}% 15
\BOOKMARK [1][-]{section.5.4}{Relations: Attributes}{chapter.5}% 16
\BOOKMARK [1][-]{section.5.5}{Relations: Operations and Functions}{chapter.5}% 17
\BOOKMARK [0][-]{chapter.6}{Generators}{}% 18
\BOOKMARK [1][-]{section.6.1}{Generators: Categories and Representations}{chapter.6}% 19
\BOOKMARK [1][-]{section.6.2}{Generators: Constructors}{chapter.6}% 20
\BOOKMARK [1][-]{section.6.3}{Generators: Properties}{chapter.6}% 21
\BOOKMARK [1][-]{section.6.4}{Generators: Attributes}{chapter.6}% 22
\BOOKMARK [1][-]{section.6.5}{Generators: Operations and Functions}{chapter.6}% 23
\BOOKMARK [0][-]{chapter.7}{Modules}{}% 24
\BOOKMARK [1][-]{section.7.1}{Modules: Category and Representations}{chapter.7}% 25
\BOOKMARK [1][-]{section.7.2}{Modules: Constructors}{chapter.7}% 26
\BOOKMARK [1][-]{section.7.3}{Modules: Properties}{chapter.7}% 27
\BOOKMARK [1][-]{section.7.4}{Modules: Attributes}{chapter.7}% 28
\BOOKMARK [1][-]{section.7.5}{Modules: Operations and Functions}{chapter.7}% 29
\BOOKMARK [0][-]{chapter.8}{Maps}{}% 30
\BOOKMARK [1][-]{section.8.1}{Maps: Categories and Representations}{chapter.8}% 31
\BOOKMARK [1][-]{section.8.2}{Maps: Constructors}{chapter.8}% 32
\BOOKMARK [1][-]{section.8.3}{Maps: Properties}{chapter.8}% 33
\BOOKMARK [1][-]{section.8.4}{Maps: Attributes}{chapter.8}% 34
\BOOKMARK [1][-]{section.8.5}{Maps: Operations and Functions}{chapter.8}% 35
\BOOKMARK [0][-]{chapter.9}{Module Elements}{}% 36
\BOOKMARK [1][-]{section.9.1}{Module Elements: Category and Representations}{chapter.9}% 37
\BOOKMARK [1][-]{section.9.2}{Module Elements: Constructors}{chapter.9}% 38
\BOOKMARK [1][-]{section.9.3}{Module Elements: Properties}{chapter.9}% 39
\BOOKMARK [1][-]{section.9.4}{Module Elements: Attributes}{chapter.9}% 40
\BOOKMARK [1][-]{section.9.5}{Module Elements: Operations and Functions}{chapter.9}% 41
\BOOKMARK [0][-]{chapter.10}{Functors}{}% 42
\BOOKMARK [1][-]{section.10.1}{Functors: Category and Representations}{chapter.10}% 43
\BOOKMARK [1][-]{section.10.2}{Functors: Constructors}{chapter.10}% 44
\BOOKMARK [1][-]{section.10.3}{Functors: Attributes}{chapter.10}% 45
\BOOKMARK [1][-]{section.10.4}{Basic Functors}{chapter.10}% 46
\BOOKMARK [1][-]{section.10.5}{Tool Functors}{chapter.10}% 47
\BOOKMARK [1][-]{section.10.6}{Other Functors}{chapter.10}% 48
\BOOKMARK [1][-]{section.10.7}{Functors: Operations and Functions}{chapter.10}% 49
\BOOKMARK [0][-]{chapter.11}{Symmetric Algebra and Koszul Complex}{}% 50
\BOOKMARK [1][-]{section.11.1}{Symmetric Algebra: Constructor}{chapter.11}% 51
\BOOKMARK [1][-]{section.11.2}{Symmetric Algebra: Properties and Attributes}{chapter.11}% 52
\BOOKMARK [0][-]{chapter.12}{Exterior Algebra and Koszul Complex}{}% 53
\BOOKMARK [1][-]{section.12.1}{Exterior Algebra: Constructor}{chapter.12}% 54
\BOOKMARK [1][-]{section.12.2}{Exterior Algebra: Properties and Attributes}{chapter.12}% 55
\BOOKMARK [1][-]{section.12.3}{Exterior Algebra: Element Properties}{chapter.12}% 56
\BOOKMARK [1][-]{section.12.4}{Exterior Algebra: Element Operations}{chapter.12}% 57
\BOOKMARK [1][-]{section.12.5}{Koszul complex and Cayley determinant}{chapter.12}% 58
\BOOKMARK [0][-]{chapter.13}{Examples}{}% 59
\BOOKMARK [1][-]{section.13.1}{ExtExt}{chapter.13}% 60
\BOOKMARK [1][-]{section.13.2}{Purity}{chapter.13}% 61
\BOOKMARK [1][-]{section.13.3}{TorExt-Grothendieck}{chapter.13}% 62
\BOOKMARK [1][-]{section.13.4}{TorExt}{chapter.13}% 63
\BOOKMARK [0][-]{appendix.A}{The Mathematical Idea behind Modules}{}% 64
\BOOKMARK [0][-]{appendix.B}{Logic Subpackages}{}% 65
\BOOKMARK [1][-]{section.B.1}{LIMOD: Logical Implications for Modules}{appendix.B}% 66
\BOOKMARK [1][-]{section.B.2}{LIHOM: Logical Implications for Homomorphisms of Modules}{appendix.B}% 67
\BOOKMARK [0][-]{appendix.C}{Overview of the Modules Package Source Code}{}% 68
\BOOKMARK [1][-]{section.C.1}{Relations and Generators}{appendix.C}% 69
\BOOKMARK [1][-]{section.C.2}{The Basic Objects}{appendix.C}% 70
\BOOKMARK [1][-]{section.C.3}{The High Level Homological Algorithms}{appendix.C}% 71
\BOOKMARK [1][-]{section.C.4}{Logical Implications for homalg Objects}{appendix.C}% 72
\BOOKMARK [0][-]{appendix*.4}{References}{}% 73
\BOOKMARK [0][-]{section*.5}{Index}{}% 74
