\GAPDocLabFile{modules}
\makelabel{modules:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{modules:Copyright}{}{X81488B807F2A1CF1}
\makelabel{modules:Acknowledgements}{}{X82A988D47DFAFCFA}
\makelabel{modules:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{modules:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{modules:What is the role of the Modules package in the homalg project?}{1.1}{X7932D55D786D645A}
\makelabel{modules:Modules provides ...}{1.1.1}{X81F4D4C47828A818}
\makelabel{modules:Rings supported in a sufficient way}{1.1.2}{X84913827857A1F7B}
\makelabel{modules:Principal limitation}{1.1.3}{X7C31B1FE786E596E}
\makelabel{modules:Ring dictionaries (technical)}{1.1.4}{X8583D47D7E570356}
\makelabel{modules:The advantages of the outsourcing concept}{1.1.5}{X7D7570837C21607A}
\makelabel{modules:Does this mean that homalg has only algorithms for the generic case?}{1.1.6}{X85C5BCDF797B7954}
\makelabel{modules:The principle of least communication (technical)}{1.1.7}{X79DFCAF17BD3DDC6}
\makelabel{modules:Frequently asked questions}{1.1.8}{X7D51BC7A80D43EA0}
\makelabel{modules:This manual}{1.2}{X78DD800B83ABC621}
\makelabel{modules:Installation of the Modules Package}{2}{X812F1BC77954DFD3}
\makelabel{modules:Quick Start}{3}{X7EB860EC84DFC71E}
\makelabel{modules:gap> ExamplesForHomalg();}{3.2}{X85872612814D30B4}
\makelabel{modules:A typical example}{3.3}{X7BBB3E988435A713}
\makelabel{modules:HomHom}{3.3.1}{X791E21F47805048A}
\makelabel{modules:Ring Maps}{4}{X7B222197819984A6}
\makelabel{modules:Ring Maps: Attributes}{4.1}{X7EBF1DD67BD0758F}
\makelabel{modules:Ring Maps: Operations and Functions}{4.2}{X7C7401BA7E2221CB}
\makelabel{modules:Relations}{5}{X838651287FCCEFD8}
\makelabel{modules:Relations: Categories and Representations}{5.1}{X87DADB7B7CB126DC}
\makelabel{modules:Relations: Constructors}{5.2}{X7CF74FB785F90889}
\makelabel{modules:Relations: Properties}{5.3}{X859231317954D702}
\makelabel{modules:Relations: Attributes}{5.4}{X7EF7BBCA85851EF1}
\makelabel{modules:Relations: Operations and Functions}{5.5}{X7890B5EA80774AB5}
\makelabel{modules:Generators}{6}{X7BD5B55C802805B4}
\makelabel{modules:Generators: Categories and Representations}{6.1}{X827B67D27E3B91FC}
\makelabel{modules:Generators: Constructors}{6.2}{X8289206C81622597}
\makelabel{modules:Generators: Properties}{6.3}{X8576E1368448066B}
\makelabel{modules:Generators: Attributes}{6.4}{X7E136BCD7F22B571}
\makelabel{modules:Generators: Operations and Functions}{6.5}{X7AC876EC8137AEA4}
\makelabel{modules:Modules}{7}{X8183A6857B0C3633}
\makelabel{modules:Modules: Category and Representations}{7.1}{X7C7EBD2383B99C43}
\makelabel{modules:Modules: Constructors}{7.2}{X7DB16C4B87DD115F}
\makelabel{modules:Modules: Properties}{7.3}{X83CC1D6079AA2286}
\makelabel{modules:Modules: Attributes}{7.4}{X78A9979B862BD51D}
\makelabel{modules:Modules: Operations and Functions}{7.5}{X7DDA6B237C17BDBA}
\makelabel{modules:Maps}{8}{X7E8438F77ECB778E}
\makelabel{modules:Maps: Categories and Representations}{8.1}{X790FEEBD86F5C143}
\makelabel{modules:Maps: Constructors}{8.2}{X8278F43E8373E4A1}
\makelabel{modules:Maps: Properties}{8.3}{X85C633E77A939735}
\makelabel{modules:Maps: Attributes}{8.4}{X7EA3B91C78E430BB}
\makelabel{modules:Maps: Operations and Functions}{8.5}{X783E9FF8800609EB}
\makelabel{modules:Module Elements}{9}{X7E9BCB99816348F2}
\makelabel{modules:Module Elements: Category and Representations}{9.1}{X84A51EB87E054D3F}
\makelabel{modules:Module Elements: Constructors}{9.2}{X7CFD0CF27A3FEB9D}
\makelabel{modules:Module Elements: Properties}{9.3}{X7BCBA7E780FE2B14}
\makelabel{modules:Module Elements: Attributes}{9.4}{X80AE2D1C82A2059C}
\makelabel{modules:Module Elements: Operations and Functions}{9.5}{X813DF977812C06B6}
\makelabel{modules:Functors}{10}{X78D1062D78BE08C1}
\makelabel{modules:Functors: Category and Representations}{10.1}{X7E41BC437F2B76E1}
\makelabel{modules:Functors: Constructors}{10.2}{X86EE897086995E47}
\makelabel{modules:Functors: Attributes}{10.3}{X7A21845C7C536717}
\makelabel{modules:Basic Functors}{10.4}{X7D83D0EB87D2D872}
\makelabel{modules:Tool Functors}{10.5}{X815BF6DA7FD5D44B}
\makelabel{modules:Other Functors}{10.6}{X879135AC8330C509}
\makelabel{modules:Functors: Operations and Functions}{10.7}{X7DACD68E7E5FA324}
\makelabel{modules:Symmetric Algebra and Koszul Complex}{11}{X7E3E740C80F42986}
\makelabel{modules:Symmetric Algebra: Constructor}{11.1}{X78E07AD87CE14F53}
\makelabel{modules:Symmetric Algebra: Properties and Attributes}{11.2}{X7A26D0AD7E8F9FB2}
\makelabel{modules:Exterior Algebra and Koszul Complex}{12}{X7BD010F3847B274E}
\makelabel{modules:Exterior Algebra: Constructor}{12.1}{X7A005D4E870C281D}
\makelabel{modules:Exterior Algebra: Properties and Attributes}{12.2}{X7E09B9C5844FC31E}
\makelabel{modules:Exterior Algebra: Element Properties}{12.3}{X7A2AC54B87C85695}
\makelabel{modules:Exterior Algebra: Element Operations}{12.4}{X80D7B36379182854}
\makelabel{modules:Koszul complex and Cayley determinant}{12.5}{X8050EFB77A600595}
\makelabel{modules:Examples}{13}{X7A489A5D79DA9E5C}
\makelabel{modules:ExtExt}{13.1}{X7BB9DE017ECE6E86}
\makelabel{modules:Purity}{13.2}{X7EE63228803A04F1}
\makelabel{modules:TorExt-Grothendieck}{13.3}{X812EF8147AE16E72}
\makelabel{modules:TorExt}{13.4}{X784BC2567875830B}
\makelabel{modules:The Mathematical Idea behind Modules}{A}{X7DD2E4EB846C7E75}
\makelabel{modules:Logic Subpackages}{B}{X8222352C78A19214}
\makelabel{modules:LIMOD: Logical Implications for Modules}{B.1}{X8462717983D4B197}
\makelabel{modules:LIHOM: Logical Implications for Homomorphisms of Modules}{B.2}{X7A553EC57DD2E46E}
\makelabel{modules:Overview of the Modules Package Source Code}{C}{X78684D057C432971}
\makelabel{modules:Relations and Generators}{C.1}{X87ED7A1883976BE9}
\makelabel{modules:The Basic Objects}{C.2}{X81DDCFC578069518}
\makelabel{modules:The High Level Homological Algorithms}{C.3}{X7BDE961D858BC60E}
\makelabel{modules:Logical Implications for homalg Objects}{C.4}{X7E8463067BB2F31E}
\makelabel{modules:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{modules:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{modules:Index}{Ind}{X83A0356F839C696F}
\makelabel{modules:Modules}{}{X8537FEB07AF2BEC8}
\makelabel{modules:KernelSubobject for ring maps}{4.1.1}{X7E7A0DE685E23202}
\makelabel{modules:KernelEmb for ring maps}{4.1.2}{X82AE604486F48FC4}
\makelabel{modules:Kernel for ring maps}{4.2.1}{X870F43DE7DDD85A3}
\makelabel{modules:IsHomalgRelations}{5.1.1}{X80AD050F7999B7C0}
\makelabel{modules:IsHomalgRelationsOfLeftModule}{5.1.2}{X790F68B17A4846DC}
\makelabel{modules:IsHomalgRelationsOfRightModule}{5.1.3}{X7FF5A3B180614698}
\makelabel{modules:IsRelationsOfFinitelyPresentedModuleRep}{5.1.4}{X8322A26C84E80303}
\makelabel{modules:CanBeUsedToDecideZeroEffectively}{5.3.1}{X798D893B7FBFCF07}
\makelabel{modules:IsInjectivePresentation}{5.3.2}{X7B9398827AEEA2E6}
\makelabel{modules:IsHomalgGenerators}{6.1.1}{X79A6BA1280510584}
\makelabel{modules:IsHomalgGeneratorsOfLeftModule}{6.1.2}{X83E88425797FFC9C}
\makelabel{modules:IsHomalgGeneratorsOfRightModule}{6.1.3}{X86E9029487FE58DF}
\makelabel{modules:IsGeneratorsOfModuleRep}{6.1.4}{X8671AA997D666F04}
\makelabel{modules:IsGeneratorsOfFinitelyGeneratedModuleRep}{6.1.5}{X78512B8A8613FBF1}
\makelabel{modules:IsReduced for generators}{6.3.1}{X7ED359D87D6B2F79}
\makelabel{modules:ProcedureToReadjustGenerators}{6.4.1}{X7B6F787085536F90}
\makelabel{modules:IsHomalgModule}{7.1.1}{X8429977B7FD30F32}
\makelabel{modules:IsFinitelyPresentedModuleOrSubmoduleRep}{7.1.2}{X7FB182707ADDF903}
\makelabel{modules:IsFinitelyPresentedModuleRep}{7.1.3}{X87D53DCC822C8C92}
\makelabel{modules:IsFinitelyPresentedSubmoduleRep}{7.1.4}{X7BFA03B6820E9E55}
\makelabel{modules:LeftPresentation constructor for left modules}{7.2.1}{X7EC09F6B83CA4068}
\makelabel{modules:RightPresentation constructor for right modules}{7.2.2}{X7A0C400A8042C284}
\makelabel{modules:HomalgFreeLeftModule constructor for free left modules}{7.2.3}{X8067510285E38110}
\makelabel{modules:HomalgFreeRightModule constructor for free right modules}{7.2.4}{X7D9133C6837FDFE7}
\makelabel{modules:HomalgZeroLeftModule constructor for zero left modules}{7.2.5}{X86EA38328275C44E}
\makelabel{modules:HomalgZeroRightModule constructor for zero right modules}{7.2.6}{X8796A5957C40155C}
\makelabel{modules:Subobject constructor for submodules using matrices}{7.2.8}{X84C6C8227814E2BC}
\makelabel{modules:Subobject constructor for submodules using a list of ring elements}{7.2.9}{X811E74A98454101E}
\makelabel{modules:LeftSubmodule constructor for left submodules}{7.2.10}{X8498CB457DD55DF2}
\makelabel{modules:RightSubmodule constructor for right submodules}{7.2.11}{X8383318085374771}
\makelabel{modules:IsCyclic}{7.3.1}{X7DA27D338374FD28}
\makelabel{modules:IsHolonomic}{7.3.2}{X7B547E8A7969F772}
\makelabel{modules:IsReduced for modules}{7.3.3}{X8393BC5779647A88}
\makelabel{modules:IsPrimeIdeal}{7.3.4}{X78020A71848F9FDD}
\makelabel{modules:IsPrimeModule for modules}{7.3.5}{X86160C4E797D12DD}
\makelabel{modules:ResidueClassRing}{7.4.1}{X791F809B8432847F}
\makelabel{modules:PrimaryDecomposition}{7.4.2}{X7F30DD127FAC8994}
\makelabel{modules:RadicalDecomposition}{7.4.3}{X839DA707838F72DC}
\makelabel{modules:ModuleOfKaehlerDifferentials}{7.4.4}{X7D1D919186E5E73A}
\makelabel{modules:RadicalSubobject}{7.4.5}{X7F4B638C7D27C7B2}
\makelabel{modules:SymmetricAlgebra}{7.4.6}{X829AFC557B7E49AF}
\makelabel{modules:ExteriorAlgebra}{7.4.7}{X7AC2D54385C15EBD}
\makelabel{modules:ElementaryDivisors}{7.4.8}{X7EB20A71864D46BF}
\makelabel{modules:FittingIdeal}{7.4.9}{X7B83CC6485B028E1}
\makelabel{modules:NonFlatLocus}{7.4.10}{X8671FA1F820AA86D}
\makelabel{modules:LargestMinimalNumberOfLocalGenerators}{7.4.11}{X84FECA07854053BE}
\makelabel{modules:CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries}{7.4.12}{X7809E0507E882674}
\makelabel{modules:CoefficientsOfNumeratorOfHilbertPoincareSeries}{7.4.13}{X7938E13A7EF4ADB1}
\makelabel{modules:UnreducedNumeratorOfHilbertPoincareSeries}{7.4.14}{X781E2CDB8743B1C6}
\makelabel{modules:NumeratorOfHilbertPoincareSeries}{7.4.15}{X7C44039382DD5D91}
\makelabel{modules:HilbertPoincareSeries}{7.4.16}{X7B93B7D082A50E61}
\makelabel{modules:AffineDegree}{7.4.17}{X87C428A079000336}
\makelabel{modules:DataOfHilbertFunction}{7.4.18}{X7F8203B47EF626A5}
\makelabel{modules:HilbertFunction}{7.4.19}{X81F1F3EB868D2117}
\makelabel{modules:IndexOfRegularity}{7.4.20}{X7AE7FCEA807D189E}
\makelabel{modules:HomalgRing for modules}{7.5.1}{X7DDA4A357F4868A0}
\makelabel{modules:ByASmallerPresentation for modules}{7.5.2}{X840D0B4F8798C370}
\makelabel{modules:SubobjectQuotient for submodules}{7.5.4}{X84D89101872CEA2A}
\makelabel{modules:IsHomalgMap}{8.1.1}{X7DA293237F14CD74}
\makelabel{modules:IsHomalgSelfMap}{8.1.2}{X7F34D26882D20FF0}
\makelabel{modules:IsMapOfFinitelyGeneratedModulesRep}{8.1.3}{X813202447B5C8FB3}
\makelabel{modules:HomalgMap constructor for maps}{8.2.1}{X790E02137DBA584C}
\makelabel{modules:HomalgMap constructor for maps between free modules}{8.2.1}{X790E02137DBA584C}
\makelabel{modules:HomalgZeroMap constructor for zero maps}{8.2.2}{X81489DAF7B0674F3}
\makelabel{modules:HomalgIdentityMap constructor for identity maps}{8.2.3}{X7BF289B882C9DDF4}
\makelabel{modules:HomalgRing}{8.5.1}{X7C8699B282D73E1E}
\makelabel{modules:PreInverse}{8.5.2}{X79D029B78624C148}
\makelabel{modules:IsHomalgElement}{9.1.1}{X784BBB2A782DB774}
\makelabel{modules:IsElementOfAModuleGivenByAMorphismRep}{9.1.2}{X7BF482C77B68ED64}
\makelabel{modules:IsElementOfIntegers}{9.3.1}{X87FA282579406FC0}
\makelabel{modules:HomalgRing for module elements}{9.5.1}{X8769077379997D89}
\makelabel{modules:functorCokernel}{10.4.1}{X7B9FE8BF80D47B6E}
\makelabel{modules:Cokernel}{10.4.2}{X875F177A82BF9B8B}
\makelabel{modules:functorImageObject}{10.4.3}{X7A5B3B307B334706}
\makelabel{modules:ImageObject}{10.4.4}{X7E3FF900821DCBE6}
\makelabel{modules:Kernel for maps}{10.4.5}{X85C128B37E76827F}
\makelabel{modules:DefectOfExactness}{10.4.6}{X7E6CDE7E85F09122}
\makelabel{modules:FunctorHom}{10.4.7}{X7B93718087EFD69B}
\makelabel{modules:Hom}{10.4.8}{X80015C78876B4F1E}
\makelabel{modules:FunctorTensorProduct}{10.4.9}{X7A1A077D8268FADE}
\makelabel{modules:TensorProduct}{10.4.10}{X87EB0B4A852CF4C6}
\makelabel{modules:FunctorExt}{10.4.11}{X7D007A7079F7BEE3}
\makelabel{modules:Ext}{10.4.12}{X8692578881E71913}
\makelabel{modules:FunctorTor}{10.4.13}{X821034FE80907E8D}
\makelabel{modules:Tor}{10.4.14}{X79821906875CF49E}
\makelabel{modules:FunctorRHom}{10.4.15}{X84C60D997A79524E}
\makelabel{modules:RHom}{10.4.16}{X7D8BDC0C817C10AB}
\makelabel{modules:FunctorLTensorProduct}{10.4.17}{X806251E3836C00B9}
\makelabel{modules:LTensorProduct}{10.4.18}{X7C12DA648798E77E}
\makelabel{modules:FunctorHomHom}{10.4.19}{X7ACC6A7C86E4354C}
\makelabel{modules:FunctorLHomHom}{10.4.20}{X84557A6B79382720}
\makelabel{modules:SymmetricPower}{11.1.1}{X79E2C2AF842E8419}
\makelabel{modules:IsSymmetricPower}{11.2.1}{X79AECE877A31293F}
\makelabel{modules:SymmetricPowerExponent}{11.2.2}{X8750195584FAA0B2}
\makelabel{modules:SymmetricPowerBaseModule}{11.2.3}{X7D9225D083DDDB0C}
\makelabel{modules:ExteriorPower}{12.1.1}{X787BB7FF85F0AD68}
\makelabel{modules:IsExteriorPower}{12.2.1}{X79C5FE077B58DF82}
\makelabel{modules:ExteriorPowerExponent}{12.2.2}{X87CF59278702A550}
\makelabel{modules:ExteriorPowerBaseModule}{12.2.3}{X8282D0D7800F63CC}
\makelabel{modules:IsExteriorPowerElement}{12.3.1}{X7FC4A5DC7B592D04}
\makelabel{modules:Wedge for elements of exterior powers of free modules}{12.4.1}{X7C71C3C77F2E225D}
\makelabel{modules:ExteriorPowerElementDual}{12.4.2}{X8236B4167E79F186}
\makelabel{modules:SingleValueOfExteriorPowerElement}{12.4.3}{X85EDBA2783A1E984}
\makelabel{modules:KoszulCocomplex}{12.5.1}{X7D84C7AC809B453F}
\makelabel{modules:CayleyDeterminant}{12.5.2}{X794C601787143D2D}
\makelabel{modules:GcdUsingCayleyDeterminant}{12.5.3}{X7C72190C8331FADD}
