Quelle  manual.six   Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "homalg",
entries :=
[ [ "Title page", ".", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" ],
  [ "Copyright", ".-1", [ 0, 0, 1 ], 53, 2, "copyright", "X81488B807F2A1CF1" ]
    , [ "Acknowledgements", ".-2", [ 0, 0, 2 ], 60, 2, "acknowledgements", 
      "X82A988D47DFAFCFA" ], 
  [ "Table of Contents", ".-3", [ 0, 0, 3 ], 150, 4, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1", 
      [ 1, 0, 0 ], 1, 7, "introduction", "X7DFB63A97E67C0A1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWhat is the role of the \033[5Xhomalg\033[105X\\
033[101X\027\033[1X\027 package in the \033[5Xhomalg\033[105X\033[101X\027\033\
[1X\027 project?\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 4, 7, 
      "what is the role of the homalg package in the homalg project?", 
      "X7F1B40DB7C1395DD" ], 
  [ "\033[1X\033[33X\033[0;-2YPhilosophy\033[133X\033[101X", "1.1-1", 
      [ 1, 1, 1 ], 7, 7, "philosophy", "X873C99678745ABAF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5Xhomalg\033[105X\033[101X\027\033[1X\027 pr\
ovides ...\033[133X\033[101X", "1.1-2", [ 1, 1, 2 ], 20, 7, 
      "homalg provides ...", "X82A79A2A78AED00B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBuilding upon the \033[5Xhomalg\033[105X\033[101X\
\027\033[1X\027 package\033[133X\033[101X", "1.1-3", [ 1, 1, 3 ], 74, 8, 
      "building upon the homalg package", "X78E6DF7E878D754D" ], 
  [ "\033[1X\033[33X\033[0;-2YThis manual\033[133X\033[101X", "1.2", 
      [ 1, 2, 0 ], 110, 9, "this manual", "X78DD800B83ABC621" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YInstallation of the \033[5Xhomalg\033[105X\033[10\
1X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 10, 
      "installation of the homalg package", "X855C716578E12A0B" ], 
  [ "\033[1X\033[33X\033[0;-2YObjects\033[133X\033[101X", "3", [ 3, 0, 0 ], 
      1, 11, "objects", "X78497E777FB3E402" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YObjects: Category and Representations\033[133X\\
033[101X", "3.1", [ 3, 1, 0 ], 4, 11, "objects: category and representations",
      "X7E3651DF87064E72" ], 
  [ "\033[1X\033[33X\033[0;-2YObjects: Constructors\033[133X\033[101X", 
      "3.2", [ 3, 2, 0 ], 111, 13, "objects: constructors", 
      "X7BD901538362C36E" ], 
  [ "\033[1X\033[33X\033[0;-2YObjects: Properties\033[133X\033[101X", "3.3", 
      [ 3, 3, 0 ], 121, 13, "objects: properties", "X7B3E8C797D15F0B7" ], 
  [ "\033[1X\033[33X\033[0;-2YObjects: Attributes\033[133X\033[101X", "3.4", 
      [ 3, 4, 0 ], 249, 15, "objects: attributes", "X805B06828294072C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YObjects: Operations and Functions\033[133X\033[10\
1X", "3.5", [ 3, 5, 0 ], 443, 18, "objects: operations and functions", 
      "X7B4D450B78A86F8B" ], 
  [ "\033[1X\033[33X\033[0;-2YMorphisms\033[133X\033[101X", "4", [ 4, 0, 0 ], 
      1, 21, "morphisms", "X7BEB6C617FED52DA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMorphisms: Categories and Representations\033[133\
X\033[101X", "4.1", [ 4, 1, 0 ], 4, 21, 
      "morphisms: categories and representations", "X7DE206257C909BDE" ], 
  [ "\033[1X\033[33X\033[0;-2YMorphisms: Constructors\033[133X\033[101X", 
      "4.2", [ 4, 2, 0 ], 91, 22, "morphisms: constructors", 
      "X86A95A9B85D8B58B" ], 
  [ "\033[1X\033[33X\033[0;-2YMorphisms: Properties\033[133X\033[101X", 
      "4.3", [ 4, 3, 0 ], 94, 22, "morphisms: properties", 
      "X7B0B60BD79756A00" ], 
  [ "\033[1X\033[33X\033[0;-2YMorphisms: Attributes\033[133X\033[101X", 
      "4.4", [ 4, 4, 0 ], 203, 24, "morphisms: attributes", 
      "X806EEA4685A4A3F3" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YMorphisms: Operations and Functions\033[133X\033[\
101X", "4.5", [ 4, 5, 0 ], 297, 26, "morphisms: operations and functions", 
      "X789623548056F7B7" ], 
  [ "\033[1X\033[33X\033[0;-2YElements\033[133X\033[101X", "5", [ 5, 0, 0 ], 
      1, 28, "elements", "X79B130FC7906FB4C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YElements: Category and Representations\033[133X\\
033[101X", "5.1", [ 5, 1, 0 ], 9, 28, "elements: category and representations"
        , "X7FBC2FC77E93856C" ], 
  [ "\033[1X\033[33X\033[0;-2YElements: Constructors\033[133X\033[101X", 
      "5.2", [ 5, 2, 0 ], 28, 28, "elements: constructors", 
      "X8159567F8721ADCA" ], 
  [ "\033[1X\033[33X\033[0;-2YElements: Properties\033[133X\033[101X", "5.3", 
      [ 5, 3, 0 ], 31, 28, "elements: properties", "X7C36DB5C81520E55" ], 
  [ "\033[1X\033[33X\033[0;-2YElements: Attributes\033[133X\033[101X", "5.4", 
      [ 5, 4, 0 ], 55, 29, "elements: attributes", "X875351A77DEB949A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YElements: Operations and Functions\033[133X\033[1\
01X", "5.5", [ 5, 5, 0 ], 66, 29, "elements: operations and functions", 
      "X865C489C7FE750A9" ], 
  [ "\033[1X\033[33X\033[0;-2YComplexes\033[133X\033[101X", "6", [ 6, 0, 0 ], 
      1, 31, "complexes", "X79C388D385DB7CD1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComplexes: Category and Representations\033[133X\\
033[101X", "6.1", [ 6, 1, 0 ], 4, 31, 
      "complexes: category and representations", "X7FF155CB7C4C7CB4" ], 
  [ "\033[1X\033[33X\033[0;-2YComplexes: Constructors\033[133X\033[101X", 
      "6.2", [ 6, 2, 0 ], 38, 31, "complexes: constructors", 
      "X7B31FFA97FEE9B80" ], 
  [ "\033[1X\033[33X\033[0;-2YComplexes: Properties\033[133X\033[101X", 
      "6.3", [ 6, 3, 0 ], 178, 34, "complexes: properties", 
      "X80A23E668343440B" ], 
  [ "\033[1X\033[33X\033[0;-2YComplexes: Attributes\033[133X\033[101X", 
      "6.4", [ 6, 4, 0 ], 262, 35, "complexes: attributes", 
      "X7BC7B49D7F928DF8" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YComplexes: Operations and Functions\033[133X\033[\
101X", "6.5", [ 6, 5, 0 ], 279, 36, "complexes: operations and functions", 
      "X84E12E9C7A60D9BC" ], 
  [ "\033[1X\033[33X\033[0;-2YChain Morphisms\033[133X\033[101X", "7", 
      [ 7, 0, 0 ], 1, 40, "chain morphisms", "X782EF48B7D997E9E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChainMorphisms: Categories and Representations\\
033[133X\033[101X", "7.1", [ 7, 1, 0 ], 4, 40, 
      "chainmorphisms: categories and representations", "X8703B8017F55336F" ],
  [ "\033[1X\033[33X\033[0;-2YChain Morphisms: Constructors\033[133X\033[101X"
        , "7.2", [ 7, 2, 0 ], 50, 41, "chain morphisms: constructors", 
      "X83637FBE86C5DDF1" ], 
  [ "\033[1X\033[33X\033[0;-2YChain Morphisms: Properties\033[133X\033[101X", 
      "7.3", [ 7, 3, 0 ], 115, 42, "chain morphisms: properties", 
      "X789E2EC07C041D78" ], 
  [ "\033[1X\033[33X\033[0;-2YChain Morphisms: Attributes\033[133X\033[101X", 
      "7.4", [ 7, 4, 0 ], 218, 44, "chain morphisms: attributes", 
      "X83FBA43B7E5833F0" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YChain Morphisms: Operations and Functions\033[133\
X\033[101X", "7.5", [ 7, 5, 0 ], 235, 44, 
      "chain morphisms: operations and functions", "X7DD92C727DD630DA" ], 
  [ "\033[1X\033[33X\033[0;-2YBicomplexes\033[133X\033[101X", "8", 
      [ 8, 0, 0 ], 1, 45, "bicomplexes", "X7CEDAD61826170CF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBicomplexes: Category and Representations\033[133\
X\033[101X", "8.1", [ 8, 1, 0 ], 14, 45, 
      "bicomplexes: category and representations", "X7CBAE2807BD16E7E" ], 
  [ "\033[1X\033[33X\033[0;-2YBicomplexes: Constructors\033[133X\033[101X", 
      "8.2", [ 8, 2, 0 ], 50, 46, "bicomplexes: constructors", 
      "X842D047F7E00F774" ], 
  [ "\033[1X\033[33X\033[0;-2YBicomplexes: Properties\033[133X\033[101X", 
      "8.3", [ 8, 3, 0 ], 102, 47, "bicomplexes: properties", 
      "X854AA4C379C813AC" ], 
  [ "\033[1X\033[33X\033[0;-2YBicomplexes: Attributes\033[133X\033[101X", 
      "8.4", [ 8, 4, 0 ], 128, 47, "bicomplexes: attributes", 
      "X7E2F2E387A4EF533" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBicomplexes: Operations and Functions\033[133X\\
033[101X", "8.5", [ 8, 5, 0 ], 145, 47, 
      "bicomplexes: operations and functions", "X81357E7A7C6D31F5" ], 
  [ "\033[1X\033[33X\033[0;-2YBigraded Objects\033[133X\033[101X", "9", 
      [ 9, 0, 0 ], 1, 49, "bigraded objects", "X86C997977B62C726" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBigradedObjects: Categories and Representations\\
033[133X\033[101X", "9.1", [ 9, 1, 0 ], 7, 49, 
      "bigradedobjects: categories and representations", "X82C303E27EA6C844" ]
    , 
  [ 
      "\033[1X\033[33X\033[0;-2YBigraded Objects: Constructors\033[133X\033[101X"
        , "9.2", [ 9, 2, 0 ], 63, 50, "bigraded objects: constructors", 
      "X7A37F65D79540DFE" ], 
  [ "\033[1X\033[33X\033[0;-2YBigraded Objects: Properties\033[133X\033[101X",
      "9.3", [ 9, 3, 0 ], 243, 53, "bigraded objects: properties", 
      "X83F0D79981589A42" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBigraded Objects: Operations and Functions\033[13\
3X\033[101X", "9.4", [ 9, 4, 0 ], 262, 53, 
      "bigraded objects: operations and functions", "X7A5828337CE2F4F2" ], 
  [ "\033[1X\033[33X\033[0;-2YSpectral Sequences\033[133X\033[101X", "10", 
      [ 10, 0, 0 ], 1, 54, "spectral sequences", "X87330D8C82E71B50" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpectralSequences: Categorie and Representations\\
033[133X\033[101X", "10.1", [ 10, 1, 0 ], 12, 54, 
      "spectralsequences: categorie and representations", "X85E1174B7BDA291E" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpectral Sequences: Constructors\033[133X\033[101\
X", "10.2", [ 10, 2, 0 ], 79, 55, "spectral sequences: constructors", 
      "X84F3E1DF86C576A3" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpectral Sequences: Attributes\033[133X\033[101X"
        , "10.3", [ 10, 3, 0 ], 200, 57, "spectral sequences: attributes", 
      "X8014BAE984177944" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YSpectral Sequences: Operations and Functions\033[\
133X\033[101X", "10.4", [ 10, 4, 0 ], 219, 58, 
      "spectral sequences: operations and functions", "X7BD192607D03A699" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctors\033[133X\033[101X", "11", 
      [ 11, 0, 0 ], 1, 59, "functors", "X78D1062D78BE08C1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFunctors: Category and Representations\033[133X\\
033[101X", "11.1", [ 11, 1, 0 ], 57, 60, 
      "functors: category and representations", "X7E41BC437F2B76E1" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctors: Constructors\033[133X\033[101X", 
      "11.2", [ 11, 2, 0 ], 76, 60, "functors: constructors", 
      "X86EE897086995E47" ], 
  [ "\033[1X\033[33X\033[0;-2YFunctors: Attributes\033[133X\033[101X", 
      "11.3", [ 11, 3, 0 ], 231, 63, "functors: attributes", 
      "X7A21845C7C536717" ], 
  [ "\033[1X\033[33X\033[0;-2YBasic Functors\033[133X\033[101X", "11.4", 
      [ 11, 4, 0 ], 354, 65, "basic functors", "X7D83D0EB87D2D872" ], 
  [ "\033[1X\033[33X\033[0;-2YTool Functors\033[133X\033[101X", "11.5", 
      [ 11, 5, 0 ], 406, 66, "tool functors", "X815BF6DA7FD5D44B" ], 
  [ "\033[1X\033[33X\033[0;-2YOther Functors\033[133X\033[101X", "11.6", 
      [ 11, 6, 0 ], 409, 66, "other functors", "X879135AC8330C509" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YFunctors: Operations and Functions\033[133X\033[1\
01X", "11.7", [ 11, 7, 0 ], 412, 66, "functors: operations and functions", 
      "X7DACD68E7E5FA324" ], 
  [ "\033[1X\033[33X\033[0;-2YExamples\033[133X\033[101X", "12", 
      [ 12, 0, 0 ], 1, 68, "examples", "X7A489A5D79DA9E5C" ], 
  [ "\033[1X\033[33X\033[0;-2YExtExt\033[133X\033[101X", "12.1", 
      [ 12, 1, 0 ], 4, 68, "extext", "X7BB9DE017ECE6E86" ], 
  [ "\033[1X\033[33X\033[0;-2YPurity\033[133X\033[101X", "12.2", 
      [ 12, 2, 0 ], 87, 69, "purity", "X7EE63228803A04F1" ], 
  [ "\033[1X\033[33X\033[0;-2YTorExt-Grothendieck\033[133X\033[101X", "12.3", 
      [ 12, 3, 0 ], 182, 71, "torext-grothendieck", "X812EF8147AE16E72" ], 
  [ "\033[1X\033[33X\033[0;-2YTorExt\033[133X\033[101X", "12.4", 
      [ 12, 4, 0 ], 268, 73, "torext", "X784BC2567875830B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe Mathematical Idea behind \033[5Xhomalg\033[10\
5X\033[101X\027\033[1X\027\033[133X\033[101X", "a", [ "A", 0, 0 ], 1, 75, 
      "the mathematical idea behind homalg", "X7FBD6C8A83D64BE4" ], 
  [ "\033[1X\033[33X\033[0;-2YDevelopment\033[133X\033[101X", "b", 
      [ "B", 0, 0 ], 1, 76, "development", "X816F972F826BE589" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWhy was \033[5Xhomalg\033[105X\033[101X\027\033[1\
X\027 discontinued in \033[5XMaple\033[105X\033[101X\027\033[1X\027?\033[133X\
\033[101X", "b.1", [ "B", 1, 0 ], 4, 76, 
      "why was homalg discontinued in maple?", "X85B7FB29805B14C9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWhy \033[5XGAP4\033[105X\033[101X\027\033[1X\027?\
\033[133X\033[101X", "b.2", [ "B", 2, 0 ], 19, 76, "why gap4?", 
      "X7D2A5B127A68AB58" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XGAP\033[105X\033[101X\027\033[1X\027 is fr\
ee and open software\033[133X\033[101X", "b.2-1", [ "B", 2, 1 ], 22, 76, 
      "gap is free and open software", "X8148BBD87B272E84" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XGAP\033[105X\033[101X\027\033[1X\027 has a\
n area of expertise\033[133X\033[101X", "b.2-2", [ "B", 2, 2 ], 52, 77, 
      "gap has an area of expertise", "X799403717D4414BA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XGAP4\033[105X\033[101X\027\033[1X\027 can \
communicate\033[133X\033[101X", "b.2-3", [ "B", 2, 3 ], 78, 77, 
      "gap4 can communicate", "X863002078157C105" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XGAP4\033[105X\033[101X\027\033[1X\027 is a\
 \033[13Xmathematical\033[113X\033[101X\027\033[1X\027 object-oriented program\
ming language\033[133X\033[101X", "b.2-4", [ "B", 2, 4 ], 86, 77, 
      "gap4 is a mathematical object-oriented programming language", 
      "X78EB6CAE7C7F2F7C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XGAP4\033[105X\033[101X\027\033[1X\027 pack\
ages are easily extendible\033[133X\033[101X", "b.2-5", [ "B", 2, 5 ], 126, 
      78, "gap4 packages are easily extendible", "X7E1B9133835F33FD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWhy not \033[5XSage\033[105X\033[101X\027\033[1X\\
027?\033[133X\033[101X", "b.3", [ "B", 3, 0 ], 140, 78, "why not sage?", 
      "X7F7CF4AE830E312B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YHow does \033[5Xhomalg\033[105X\033[101X\027\033[\
1X\027 compare to \033[5XSage\033[105X\033[101X\027\033[1X\027?\033[133X\033[1\
01X", "b.4", [ "B", 4, 0 ], 151, 78, "how does homalg compare to sage?", 
      "X81A6C501841B20C4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThey differ in objectives and scale\033[133X\033[\
101X", "b.4-1", [ "B", 4, 1 ], 156, 78, "they differ in objectives and scale",
      "X82A6EC2C850909B1" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThey differ in the programming language\033[133X\\
033[101X", "b.4-2", [ "B", 4, 2 ], 167, 78, 
      "they differ in the programming language", "X8346070A86BF5CC5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThey differ in the way they communicate with the \
outer world\033[133X\033[101X", "b.4-3", [ "B", 4, 3 ], 176, 79, 
      "they differ in the way they communicate with the outer world", 
      "X8040F9357F008C1E" ], 
  [ "\033[1X\033[33X\033[0;-2YLogic Subpackages\033[133X\033[101X", "c", 
      [ "C", 0, 0 ], 1, 80, "logic subpackages", "X8222352C78A19214" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XLIOBJ\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Objects of Abelian Categories\033[133X\033[101X", 
      "c.1", [ "C", 1, 0 ], 4, 80, 
      "liobj: logical implications for objects of abelian categories", 
      "X84B5336279AF7DE4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XLIMOR\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Morphisms of Abelian Categories\033[133X\033[101X", 
      "c.2", [ "C", 2, 0 ], 7, 80, 
      "limor: logical implications for morphisms of abelian categories", 
      "X8744FAF47E59C422" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XLICPX\033[105X\033[101X\027\033[1X\027: Lo\
gical Implications for Complexes in Abelian Categories\033[133X\033[101X", 
      "c.3", [ "C", 3, 0 ], 10, 80, 
      "licpx: logical implications for complexes in abelian categories", 
      "X8024C3D08006C35A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDebugging \033[5Xhomalg\033[105X\033[101X\027\\
033[1X\027\033[133X\033[101X", "d", [ "D", 0, 0 ], 1, 81, "debugging homalg", 
      "X7DC71AA679A8CB8D" ], 
  [ "\033[1X\033[33X\033[0;-2YIncrease the assertion level\033[133X\033[101X",
      "d.1", [ "D", 1, 0 ], 7, 81, "increase the assertion level", 
      "X8062637283DD739D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe Core Packages and the Idea behind their Split\
ting\033[133X\033[101X", "e", [ "E", 0, 0 ], 1, 82, 
      "the core packages and the idea behind their splitting", 
      "X849691F37C7AC1B4" ], 
  [ "\033[1X\033[33X\033[0;-2YThe 6=2+4 split\033[133X\033[101X", "e.1", 
      [ "E", 1, 0 ], 18, 82, "the 6=2+4 split", "X7DCE809486D10888" ], 
  [ "\033[1X\033[33X\033[0;-2YLogically independent\033[133X\033[101X", 
      "e.1-1", [ "E", 1, 1 ], 23, 82, "logically independent", 
      "X818F306582DFF370" ], 
  [ "\033[1X\033[33X\033[0;-2YBlack boxes\033[133X\033[101X", "e.1-2", 
      [ "E", 1, 2 ], 40, 83, "black boxes", "X7EE794358500309A" ], 
  [ "\033[1X\033[33X\033[0;-2YSumming up\033[133X\033[101X", "e.1-3", 
      [ "E", 1, 3 ], 51, 83, "summing up", "X786DDEFD85AD19F4" ], 
  [ "\033[1X\033[33X\033[0;-2YThe 4=1+1+1+1 split\033[133X\033[101X", "e.2", 
      [ "E", 2, 0 ], 62, 83, "the 4=1+1+1+1 split", "X865D30A382B80584" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XHomalgToCAS\033[105X\033[101X\027\033[1X\\
027\033[133X\033[101X", "e.2-1", [ "E", 2, 1 ], 67, 83, "homalgtocas", 
      "X80FB5BB57BBE5B17" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XIO_ForHomalg\033[105X\033[101X\027\033[1X\\
027 and Alternatives\033[133X\033[101X", "e.2-2", [ "E", 2, 2 ], 78, 83, 
      "io_forhomalg and alternatives", "X86F316DA837A4FE4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XRingsForHomalg\033[105X\033[101X\027\033[1\
X\027\033[133X\033[101X", "e.2-3", [ "E", 2, 3 ], 94, 83, "ringsforhomalg", 
      "X78E3E28C81E8DC12" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YYour own \033[5XRingsForHomalg\033[105X\033[101X\\
027\033[1X\027\033[133X\033[101X", "e.2-4", [ "E", 2, 4 ], 104, 84, 
      "your own ringsforhomalg", "X7AD8DBE280C58EE9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[5XExamplesForHomalg\033[105X\033[101X\027\\
033[1X\027\033[133X\033[101X", "e.2-5", [ "E", 2, 5 ], 119, 84, 
      "examplesforhomalg", "X7A0A10B585C49632" ], 
  [ "\033[1X\033[33X\033[0;-2YDocumentation\033[133X\033[101X", "e.2-6", 
      [ "E", 2, 6 ], 130, 84, "documentation", "X7F4F8D6F7CD6B765" ], 
  [ "\033[1X\033[33X\033[0;-2YCrediting\033[133X\033[101X", "e.2-7", 
      [ "E", 2, 7 ], 140, 84, "crediting", "X814A1DC581E36F66" ], 
  [ "\033[1X\033[33X\033[0;-2YStability\033[133X\033[101X", "e.2-8", 
      [ "E", 2, 8 ], 149, 84, "stability", "X78397E8681145827" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YOverview of the \033[5Xhomalg\033[105X\033[101X\\
027\033[1X\027 Package Source Code\033[133X\033[101X", "f", [ "F", 0, 0 ], 1, 
      85, "overview of the homalg package source code", "X84555A0687FBAE33" ],
  [ "\033[1X\033[33X\033[0;-2YThe Basic Objects\033[133X\033[101X", "f.1", 
      [ "F", 1, 0 ], 8, 86, "the basic objects", "X81DDCFC578069518" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe High Level Homological Algorithms\033[133X\\
033[101X", "f.2", [ "F", 2, 0 ], 48, 87, 
      "the high level homological algorithms", "X7BDE961D858BC60E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YLogical Implications for \033[5Xhomalg\033[105X\\
033[101X\027\033[1X\027 Objects\033[133X\033[101X", "f.3", [ "F", 3, 0 ], 79, 
      87, "logical implications for homalg objects", "X7E8463067BB2F31E" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 88, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 88, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 89, "index", "X83A0356F839C696F" ], 
  [ "\033[5Xhomalg\033[105X", ".-3", [ 0, 0, 3 ], 150, 4, "homalg", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[2XIsHomalgObject\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 11, 
      "ishomalgobject", "X7E610FA77A49B9EC" ], 
  [ "\033[2XIsHomalgStaticObject\033[102X", "3.1-2", [ 3, 1, 2 ], 25, 11, 
      "ishomalgstaticobject", "X79FC4A848517AF55" ], 
  [ "\033[2XIsFinitelyPresentedObjectRep\033[102X", "3.1-3", [ 3, 1, 3 ], 39, 
      11, "isfinitelypresentedobjectrep", "X7F1BC3F77949E779" ], 
  [ "\033[2XIsStaticFinitelyPresentedObjectOrSubobjectRep\033[102X", "3.1-4", 
      [ 3, 1, 4 ], 57, 12, "isstaticfinitelypresentedobjectorsubobjectrep", 
      "X79ED26577A1C2E09" ], 
  [ "\033[2XIsStaticFinitelyPresentedObjectRep\033[102X", "3.1-5", 
      [ 3, 1, 5 ], 72, 12, "isstaticfinitelypresentedobjectrep", 
      "X7B645ADA876153F2" ], 
  [ "\033[2XIsStaticFinitelyPresentedSubobjectRep\033[102X", "3.1-6", 
      [ 3, 1, 6 ], 91, 12, "isstaticfinitelypresentedsubobjectrep", 
      "X837C31E38502E580" ], 
  [ "\033[2XSubobject\033[102X constructor for subobjects using morphisms", 
      "3.2-1", [ 3, 2, 1 ], 114, 13, 
      "subobject constructor for subobjects using morphisms", 
      "X810D3BFB7D9FE47E" ], 
  [ "\033[2XIsFree\033[102X", "3.3-1", [ 3, 3, 1 ], 124, 13, "isfree", 
      "X7CD2A77778432E7B" ], 
  [ "\033[2XIsStablyFree\033[102X", "3.3-2", [ 3, 3, 2 ], 131, 13, 
      "isstablyfree", "X7D49FC85781256AB" ], 
  [ "\033[2XIsProjective\033[102X", "3.3-3", [ 3, 3, 3 ], 138, 13, 
      "isprojective", "X7EC041A77E7E46D2" ], 
  [ "\033[2XIsProjectiveOfConstantRank\033[102X", "3.3-4", [ 3, 3, 4 ], 145, 
      13, "isprojectiveofconstantrank", "X84A8AB217E8F4611" ], 
  [ "\033[2XIsInjective\033[102X", "3.3-5", [ 3, 3, 5 ], 152, 13, 
      "isinjective", "X7F065FD7822C0A12" ], 
  [ "\033[2XIsInjectiveCogenerator\033[102X", "3.3-6", [ 3, 3, 6 ], 159, 13, 
      "isinjectivecogenerator", "X7FCE608683CCDC6B" ], 
  [ "\033[2XFiniteFreeResolutionExists\033[102X", "3.3-7", [ 3, 3, 7 ], 166, 
      14, "finitefreeresolutionexists", "X8784F151844F01FA" ], 
  [ "\033[2XIsReflexive\033[102X", "3.3-8", [ 3, 3, 8 ], 174, 14, 
      "isreflexive", "X7A6A34C283332F60" ], 
  [ "\033[2XIsTorsionFree\033[102X", "3.3-9", [ 3, 3, 9 ], 181, 14, 
      "istorsionfree", "X86D92DA17DCE22DD" ], 
  [ "\033[2XIsArtinian\033[102X", "3.3-10", [ 3, 3, 10 ], 188, 14, 
      "isartinian", "X7D8F8A0B81EFD22A" ], 
  [ "\033[2XIsTorsion\033[102X", "3.3-11", [ 3, 3, 11 ], 195, 14, 
      "istorsion", "X80C6B26284721409" ], 
  [ "\033[2XIsPure\033[102X", "3.3-12", [ 3, 3, 12 ], 202, 14, "ispure", 
      "X7B894ED27D38E4B5" ], 
  [ "\033[2XIsCohenMacaulay\033[102X", "3.3-13", [ 3, 3, 13 ], 209, 14, 
      "iscohenmacaulay", "X8373421F7E085763" ], 
  [ "\033[2XIsGorenstein\033[102X", "3.3-14", [ 3, 3, 14 ], 217, 14, 
      "isgorenstein", "X83CBA38E81DC4A72" ], 
  [ "\033[2XIsKoszul\033[102X", "3.3-15", [ 3, 3, 15 ], 225, 15, "iskoszul", 
      "X7E7AEFBE7801F196" ], 
  [ "\033[2XHasConstantRank\033[102X", "3.3-16", [ 3, 3, 16 ], 233, 15, 
      "hasconstantrank", "X7A20E4597A707218" ], 
  [ "\033[2XConstructedAsAnIdeal\033[102X", "3.3-17", [ 3, 3, 17 ], 241, 15, 
      "constructedasanideal", "X7CD026F185A5E41E" ], 
  [ "\033[2XTorsionSubobject\033[102X", "3.4-1", [ 3, 4, 1 ], 252, 15, 
      "torsionsubobject", "X7E6C8ED2865B6F35" ], 
  [ "\033[2XTheMorphismToZero\033[102X", "3.4-2", [ 3, 4, 2 ], 260, 15, 
      "themorphismtozero", "X82BCEE867CBE84E5" ], 
  [ "\033[2XTheIdentityMorphism\033[102X", "3.4-3", [ 3, 4, 3 ], 267, 15, 
      "theidentitymorphism", "X85EFEC127CA408A1" ], 
  [ "\033[2XFullSubobject\033[102X", "3.4-4", [ 3, 4, 4 ], 274, 15, 
      "fullsubobject", "X8236B1D480ED04CD" ], 
  [ "\033[2XZeroSubobject\033[102X", "3.4-5", [ 3, 4, 5 ], 281, 16, 
      "zerosubobject", "X81679BB58541E235" ], 
  [ "\033[2XEmbeddingInSuperObject\033[102X", "3.4-6", [ 3, 4, 6 ], 288, 16, 
      "embeddinginsuperobject", "X7C16CBCC78C56CDC" ], 
  [ "\033[2XSuperObject\033[102X for subobjects", "3.4-7", [ 3, 4, 7 ], 296, 
      16, "superobject for subobjects", "X7ADC5B647C8E6D8C" ], 
  [ "\033[2XFactorObject\033[102X", "3.4-8", [ 3, 4, 8 ], 304, 16, 
      "factorobject", "X7FB9A7C3785D92DC" ], 
  [ "\033[2XUnderlyingSubobject\033[102X", "3.4-9", [ 3, 4, 9 ], 312, 16, 
      "underlyingsubobject", "X7A23EAD67E6B85C1" ], 
  [ "\033[2XNatTrIdToHomHom_R\033[102X for morphisms", "3.4-10", 
      [ 3, 4, 10 ], 321, 16, "nattridtohomhom_r for morphisms", 
      "X7FC5F0AF7CF5DC67" ], 
  [ "\033[2XAnnihilator\033[102X for static objects", "3.4-11", [ 3, 4, 11 ], 
      329, 16, "annihilator for static objects", "X81889C777A22A5D3" ], 
  [ "\033[2XEndomorphismRing\033[102X for static objects", "3.4-12", 
      [ 3, 4, 12 ], 336, 16, "endomorphismring for static objects", 
      "X809A7C3882912EFD" ], 
  [ "\033[2XUnitObject\033[102X", "3.4-13", [ 3, 4, 13 ], 343, 17, 
      "unitobject", "X85F3D7CF81E85423" ], 
  [ "\033[2XRankOfObject\033[102X", "3.4-14", [ 3, 4, 14 ], 350, 17, 
      "rankofobject", "X7E192147807E66DA" ], 
  [ "\033[2XProjectiveDimension\033[102X", "3.4-15", [ 3, 4, 15 ], 357, 17, 
      "projectivedimension", "X84FDF25D797B874B" ], 
  [ "\033[2XDegreeOfTorsionFreeness\033[102X", "3.4-16", [ 3, 4, 16 ], 364, 
      17, "degreeoftorsionfreeness", "X807BA3C583D3F1EB" ], 
  [ "\033[2XGrade\033[102X", "3.4-17", [ 3, 4, 17 ], 372, 17, "grade", 
      "X7E32A9FC81E0E101" ], 
  [ "\033[2XPurityFiltration\033[102X", "3.4-18", [ 3, 4, 18 ], 380, 17, 
      "purityfiltration", "X816186E587563E3F" ], 
  [ "\033[2XCodegreeOfPurity\033[102X", "3.4-19", [ 3, 4, 19 ], 387, 17, 
      "codegreeofpurity", "X8021C33D85444081" ], 
  [ "\033[2XHilbertPolynomial\033[102X", "3.4-20", [ 3, 4, 20 ], 394, 17, 
      "hilbertpolynomial", "X84299BAB807A1E13" ], 
  [ "\033[2XAffineDimension\033[102X", "3.4-21", [ 3, 4, 21 ], 401, 18, 
      "affinedimension", "X7BC36CC67CB09858" ], 
  [ "\033[2XProjectiveDegree\033[102X", "3.4-22", [ 3, 4, 22 ], 408, 18, 
      "projectivedegree", "X82A1B55879AB1742" ], 
  [ "\033[2XConstantTermOfHilbertPolynomialn\033[102X", "3.4-23", 
      [ 3, 4, 23 ], 415, 18, "constanttermofhilbertpolynomialn", 
      "X791B772A7E368A88" ], 
  [ "\033[2XElementOfGrothendieckGroup\033[102X", "3.4-24", [ 3, 4, 24 ], 
      422, 18, "elementofgrothendieckgroup", "X7FC735717985B092" ], 
  [ "\033[2XChernPolynomial\033[102X", "3.4-25", [ 3, 4, 25 ], 429, 18, 
      "chernpolynomial", "X81024DAF8695083E" ], 
  [ "\033[2XChernCharacter\033[102X", "3.4-26", [ 3, 4, 26 ], 436, 18, 
      "cherncharacter", "X79942F6187DF4434" ], 
  [ "\033[2XCurrentResolution\033[102X", "3.5-1", [ 3, 5, 1 ], 446, 18, 
      "currentresolution", "X87AEDF2985D65DCC" ], 
  [ "\033[2XUnderlyingObject\033[102X for subobjects", "3.5-2", [ 3, 5, 2 ], 
      453, 19, "underlyingobject for subobjects", "X81FACFAC828CA2F9" ], 
  [ "\033[2XSaturate\033[102X for ideals", "3.5-3", [ 3, 5, 3 ], 461, 19, 
      "saturate for ideals", "X82AE15AF82136AE0" ], 
  [ "\033[2XIsHomalgMorphism\033[102X", "4.1-1", [ 4, 1, 1 ], 7, 21, 
      "ishomalgmorphism", "X7D0F89828196DFF0" ], 
  [ "\033[2XIsHomalgStaticMorphism\033[102X", "4.1-2", [ 4, 1, 2 ], 27, 21, 
      "ishomalgstaticmorphism", "X81458CA5836D582F" ], 
  [ "\033[2XIsHomalgEndomorphism\033[102X", "4.1-3", [ 4, 1, 3 ], 42, 21, 
      "ishomalgendomorphism", "X7933C51A842ABA32" ], 
  [ "\033[2XIsMorphismOfFinitelyGeneratedObjectsRep\033[102X", "4.1-4", 
      [ 4, 1, 4 ], 57, 22, "ismorphismoffinitelygeneratedobjectsrep", 
      "X823580787F23EB10" ], 
  [ "\033[2XIsStaticMorphismOfFinitelyGeneratedObjectsRep\033[102X", "4.1-5", 
      [ 4, 1, 5 ], 72, 22, "isstaticmorphismoffinitelygeneratedobjectsrep", 
      "X84A97E897C74B492" ], 
  [ "\033[2XIsMorphism\033[102X", "4.3-1", [ 4, 3, 1 ], 97, 22, "ismorphism", 
      "X7F66120A814DC16B" ], 
  [ "\033[2XIsGeneralizedMorphismWithFullDomain\033[102X", "4.3-2", 
      [ 4, 3, 2 ], 119, 23, "isgeneralizedmorphismwithfulldomain", 
      "X7B7206EC7F584F25" ], 
  [ "\033[2XIsGeneralizedEpimorphism\033[102X", "4.3-3", [ 4, 3, 3 ], 126, 
      23, "isgeneralizedepimorphism", "X7AD32A427B247366" ], 
  [ "\033[2XIsGeneralizedMonomorphism\033[102X", "4.3-4", [ 4, 3, 4 ], 133, 
      23, "isgeneralizedmonomorphism", "X83C68AEA7FE4AA29" ], 
  [ "\033[2XIsGeneralizedIsomorphism\033[102X", "4.3-5", [ 4, 3, 5 ], 140, 
      23, "isgeneralizedisomorphism", "X83F05F467DA5EA4D" ], 
  [ "\033[2XIsOne\033[102X", "4.3-6", [ 4, 3, 6 ], 147, 23, "isone", 
      "X814D78347858EC13" ], 
  [ "\033[2XIsIdempotent\033[102X", "4.3-7", [ 4, 3, 7 ], 154, 23, 
      "isidempotent", "X7CB5896082D29173" ], 
  [ "\033[2XIsMonomorphism\033[102X", "4.3-8", [ 4, 3, 8 ], 161, 23, 
      "ismonomorphism", "X78AD1FDD7F53932C" ], 
  [ "\033[2XIsEpimorphism\033[102X", "4.3-9", [ 4, 3, 9 ], 168, 24, 
      "isepimorphism", "X8724CEF182DC4064" ], 
  [ "\033[2XIsSplitMonomorphism\033[102X", "4.3-10", [ 4, 3, 10 ], 175, 24, 
      "issplitmonomorphism", "X7DFACF1F7D7F7EE9" ], 
  [ "\033[2XIsSplitEpimorphism\033[102X", "4.3-11", [ 4, 3, 11 ], 182, 24, 
      "issplitepimorphism", "X80A66EFA862E56BC" ], 
  [ "\033[2XIsIsomorphism\033[102X", "4.3-12", [ 4, 3, 12 ], 189, 24, 
      "isisomorphism", "X7E07BBF57B92BA56" ], 
  [ "\033[2XIsAutomorphism\033[102X", "4.3-13", [ 4, 3, 13 ], 196, 24, 
      "isautomorphism", "X7F30E3D37E9D7F37" ], 
  [ "\033[2XSource\033[102X", "4.4-1", [ 4, 4, 1 ], 206, 24, "source", 
      "X7DE8173F80E07AB1" ], 
  [ "\033[2XRange\033[102X", "4.4-2", [ 4, 4, 2 ], 213, 24, "range", 
      "X829F76BB80BD55DB" ], 
  [ "\033[2XCokernelEpi\033[102X for morphisms", "4.4-3", [ 4, 4, 3 ], 220, 
      25, "cokernelepi for morphisms", "X7F3927E287087B64" ], 
  [ "\033[2XCokernelNaturalGeneralizedIsomorphism\033[102X for morphisms", 
      "4.4-4", [ 4, 4, 4 ], 227, 25, 
      "cokernelnaturalgeneralizedisomorphism for morphisms", 
      "X7D71AE8E838712D7" ], 
  [ "\033[2XKernelSubobject\033[102X", "4.4-5", [ 4, 4, 5 ], 235, 25, 
      "kernelsubobject", "X87C00FFB79FA93A8" ], 
  [ "\033[2XKernelEmb\033[102X for morphisms", "4.4-6", [ 4, 4, 6 ], 244, 25, 
      "kernelemb for morphisms", "X82672DB279FAEFCC" ], 
  [ "\033[2XImageSubobject\033[102X", "4.4-7", [ 4, 4, 7 ], 251, 25, 
      "imagesubobject", "X82FB6A4687E778D5" ], 
  [ "\033[2XImageObjectEmb\033[102X for morphisms", "4.4-8", [ 4, 4, 8 ], 
      260, 25, "imageobjectemb for morphisms", "X85FA7C19800F72B2" ], 
  [ "\033[2XImageObjectEpi\033[102X for morphisms", "4.4-9", [ 4, 4, 9 ], 
      267, 25, "imageobjectepi for morphisms", "X86E3E1BA7BCE4D66" ], 
  [ "\033[2XMorphismAid\033[102X", "4.4-10", [ 4, 4, 10 ], 274, 26, 
      "morphismaid", "X823682157C6B4D63" ], 
  [ "\033[2XInverseOfGeneralizedMorphismWithFullDomain\033[102X", "4.4-11", 
      [ 4, 4, 11 ], 282, 26, "inverseofgeneralizedmorphismwithfulldomain", 
      "X85F22F4084EA7D31" ], 
  [ "\033[2XDegreeOfMorphism\033[102X", "4.4-12", [ 4, 4, 12 ], 289, 26, 
      "degreeofmorphism", "X8500C49A784C8EDC" ], 
  [ "\033[2XByASmallerPresentation\033[102X for morphisms", "4.5-1", 
      [ 4, 5, 1 ], 300, 26, "byasmallerpresentation for morphisms", 
      "X7B4F9EF27A241520" ], 
  [ "\033[2XIsHomalgElement\033[102X", "5.1-1", [ 5, 1, 1 ], 12, 28, 
      "ishomalgelement", "X784BBB2A782DB774" ], 
  [ "\033[2XIsElementOfAnObjectGivenByAMorphismRep\033[102X", "5.1-2", 
      [ 5, 1, 2 ], 19, 28, "iselementofanobjectgivenbyamorphismrep", 
      "X87F3740E85E9AA51" ], 
  [ "\033[2XIsZero\033[102X for elements", "5.3-1", [ 5, 3, 1 ], 34, 28, 
      "iszero for elements", "X7D16A0BB80BA69DC" ], 
  [ "\033[2XIsCyclicGenerator\033[102X", "5.3-2", [ 5, 3, 2 ], 41, 28, 
      "iscyclicgenerator", "X7886344B7A8B9304" ], 
  [ "\033[2XIsTorsion\033[102X", "5.3-3", [ 5, 3, 3 ], 48, 29, "istorsion", 
      "X80C6B26284721409" ], 
  [ "\033[2XAnnihilator\033[102X for elements", "5.4-1", [ 5, 4, 1 ], 58, 29, 
      "annihilator for elements", "X8557F75878DEEA58" ], 
  [ "\033[2Xin\033[102X for elements", "5.5-1", [ 5, 5, 1 ], 69, 29, 
      "in for elements", "X7A4ED0528640EEFE" ], 
  [ "\033[2XIsHomalgComplex\033[102X", "6.1-1", [ 6, 1, 1 ], 7, 31, 
      "ishomalgcomplex", "X8166F9FD7BFDA207" ], 
  [ "\033[2XIsComplexOfFinitelyPresentedObjectsRep\033[102X", "6.1-2", 
      [ 6, 1, 2 ], 16, 31, "iscomplexoffinitelypresentedobjectsrep", 
      "X825B40448449FFF6" ], 
  [ "\033[2XIsCocomplexOfFinitelyPresentedObjectsRep\033[102X", "6.1-3", 
      [ 6, 1, 3 ], 27, 31, "iscocomplexoffinitelypresentedobjectsrep", 
      "X7B0613FF7A702D48" ], 
  [ "\033[2XHomalgComplex\033[102X constructor for complexes given an object",
      "6.2-1", [ 6, 2, 1 ], 41, 31, 
      "homalgcomplex constructor for complexes given an object", 
      "X7C0D9D0178477517" ], 
  [ "\033[2XHomalgComplex\033[102X constructor for complexes given a morphism"
        , "6.2-1", [ 6, 2, 1 ], 41, 31, 
      "homalgcomplex constructor for complexes given a morphism", 
      "X7C0D9D0178477517" ], 
  [ "\033[2XHomalgComplex\033[102X constructor for complexes given a complex",
      "6.2-1", [ 6, 2, 1 ], 41, 31, 
      "homalgcomplex constructor for complexes given a complex", 
      "X7C0D9D0178477517" ], 
  [ 
      "\033[2XHomalgComplex\033[102X constructor for complexes given a chain morp\
hism", "6.2-1", [ 6, 2, 1 ], 41, 31, 
      "homalgcomplex constructor for complexes given a chain morphism", 
      "X7C0D9D0178477517" ], 
  [ 
      "\033[2XHomalgCocomplex\033[102X constructor for cocomplexes given a object\
", "6.2-2", [ 6, 2, 2 ], 109, 33, 
      "homalgcocomplex constructor for cocomplexes given a object", 
      "X82E0E9D17E29A67B" ], 
  [ 
      "\033[2XHomalgCocomplex\033[102X constructor for cocomplexes given a morphi\
sm", "6.2-2", [ 6, 2, 2 ], 109, 33, 
      "homalgcocomplex constructor for cocomplexes given a morphism", 
      "X82E0E9D17E29A67B" ], 
  [ 
      "\033[2XHomalgCocomplex\033[102X constructor for cocomplexes given a comple\
x", "6.2-2", [ 6, 2, 2 ], 109, 33, 
      "homalgcocomplex constructor for cocomplexes given a complex", 
      "X82E0E9D17E29A67B" ], 
  [ 
      "\033[2XHomalgCocomplex\033[102X constructor for cocomplexes given a chain \
morphism", "6.2-2", [ 6, 2, 2 ], 109, 33, 
      "homalgcocomplex constructor for cocomplexes given a chain morphism", 
      "X82E0E9D17E29A67B" ], 
  [ "\033[2XIsSequence\033[102X", "6.3-1", [ 6, 3, 1 ], 181, 34, 
      "issequence", "X7C668F517AEB1F99" ], 
  [ "\033[2XIsComplex\033[102X", "6.3-2", [ 6, 3, 2 ], 188, 34, "iscomplex", 
      "X856E7B4E8264E8F0" ], 
  [ "\033[2XIsAcyclic\033[102X", "6.3-3", [ 6, 3, 3 ], 195, 34, "isacyclic", 
      "X847A62A6806046C4" ], 
  [ "\033[2XIsRightAcyclic\033[102X", "6.3-4", [ 6, 3, 4 ], 203, 34, 
      "isrightacyclic", "X7F4927337891E086" ], 
  [ "\033[2XIsLeftAcyclic\033[102X", "6.3-5", [ 6, 3, 5 ], 211, 34, 
      "isleftacyclic", "X8673124C83AA8FCC" ], 
  [ "\033[2XIsGradedObject\033[102X", "6.3-6", [ 6, 3, 6 ], 219, 34, 
      "isgradedobject", "X78FEA48B7839E683" ], 
  [ "\033[2XIsExactSequence\033[102X", "6.3-7", [ 6, 3, 7 ], 227, 35, 
      "isexactsequence", "X793465497B435197" ], 
  [ "\033[2XIsShortExactSequence\033[102X", "6.3-8", [ 6, 3, 8 ], 234, 35, 
      "isshortexactsequence", "X87ADD4F685457000" ], 
  [ "\033[2XIsSplitShortExactSequence\033[102X", "6.3-9", [ 6, 3, 9 ], 241, 
      35, "issplitshortexactsequence", "X7BAF581986905995" ], 
  [ "\033[2XIsTriangle\033[102X", "6.3-10", [ 6, 3, 10 ], 248, 35, 
      "istriangle", "X84B794FB86C169CF" ], 
  [ "\033[2XIsExactTriangle\033[102X", "6.3-11", [ 6, 3, 11 ], 255, 35, 
      "isexacttriangle", "X81E57EE37FC94539" ], 
  [ "\033[2XBettiTable\033[102X for complexes", "6.4-1", [ 6, 4, 1 ], 265, 
      35, "bettitable for complexes", "X7DE6E8D8875B515F" ], 
  [ "\033[2XFiltrationByShortExactSequence\033[102X for complexes", "6.4-2", 
      [ 6, 4, 2 ], 272, 35, "filtrationbyshortexactsequence for complexes", 
      "X80EDFDD281834882" ], 
  [ "\033[2XAdd\033[102X to complexes given a morphism", "6.5-1", 
      [ 6, 5, 1 ], 282, 36, "add to complexes given a morphism", 
      "X7F10893B78FEDEB7" ], 
  [ "\033[2XAdd\033[102X to complexes given a matrix", "6.5-1", [ 6, 5, 1 ], 
      282, 36, "add to complexes given a matrix", "X7F10893B78FEDEB7" ], 
  [ "\033[2XByASmallerPresentation\033[102X for complexes", "6.5-2", 
      [ 6, 5, 2 ], 352, 37, "byasmallerpresentation for complexes", 
      "X79677A407C9EF3A0" ], 
  [ "\033[2XIsHomalgChainMorphism\033[102X", "7.1-1", [ 7, 1, 1 ], 7, 40, 
      "ishomalgchainmorphism", "X7CB62E188027B7C5" ], 
  [ "\033[2XIsHomalgChainEndomorphism\033[102X", "7.1-2", [ 7, 1, 2 ], 16, 
      40, "ishomalgchainendomorphism", "X853BD37084BFC602" ], 
  [ "\033[2XIsChainMorphismOfFinitelyPresentedObjectsRep\033[102X", "7.1-3", 
      [ 7, 1, 3 ], 26, 40, "ischainmorphismoffinitelypresentedobjectsrep", 
      "X7C35D69F7B09BD47" ], 
  [ "\033[2XIsCochainMorphismOfFinitelyPresentedObjectsRep\033[102X", 
      "7.1-4", [ 7, 1, 4 ], 38, 40, 
      "iscochainmorphismoffinitelypresentedobjectsrep", "X7DF3EA1D817266C1" ],
  [ "\033[2XHomalgChainMorphism\033[102X constructor for chain morphisms given\
 a morphism", "7.2-1", [ 7, 2, 1 ], 53, 41, 
      "homalgchainmorphism constructor for chain morphisms given a morphism", 
      "X853361547FB213CA" ], 
  [ "\033[2XIsMorphism\033[102X for chain morphisms", "7.3-1", [ 7, 3, 1 ], 
      118, 42, "ismorphism for chain morphisms", "X798B6A897FE4FF12" ], 
  [ "\033[2XIsGeneralizedMorphismWithFullDomain\033[102X for chain morphisms",
      "7.3-2", [ 7, 3, 2 ], 126, 42, 
      "isgeneralizedmorphismwithfulldomain for chain morphisms", 
      "X8194427F8423EB00" ], 
  [ "\033[2XIsGeneralizedEpimorphism\033[102X for chain morphisms", "7.3-3", 
      [ 7, 3, 3 ], 133, 42, "isgeneralizedepimorphism for chain morphisms", 
      "X84FE6CFD85AB7B73" ], 
  [ "\033[2XIsGeneralizedMonomorphism\033[102X for chain morphisms", "7.3-4", 
      [ 7, 3, 4 ], 140, 42, "isgeneralizedmonomorphism for chain morphisms", 
      "X7C7A07FD795C903E" ], 
  [ "\033[2XIsGeneralizedIsomorphism\033[102X for chain morphisms", "7.3-5", 
      [ 7, 3, 5 ], 147, 42, "isgeneralizedisomorphism for chain morphisms", 
      "X7D686DF9832AE258" ], 
  [ "\033[2XIsOne\033[102X for chain morphisms", "7.3-6", [ 7, 3, 6 ], 154, 
      42, "isone for chain morphisms", "X790FC54F7DF8B5B1" ], 
  [ "\033[2XIsMonomorphism\033[102X for chain morphisms", "7.3-7", 
      [ 7, 3, 7 ], 161, 43, "ismonomorphism for chain morphisms", 
      "X8709A2597FE67C7F" ], 
  [ "\033[2XIsEpimorphism\033[102X for chain morphisms", "7.3-8", 
      [ 7, 3, 8 ], 168, 43, "isepimorphism for chain morphisms", 
      "X7C8E0B1A7A8EE198" ], 
  [ "\033[2XIsSplitMonomorphism\033[102X for chain morphisms", "7.3-9", 
      [ 7, 3, 9 ], 175, 43, "issplitmonomorphism for chain morphisms", 
      "X8724A5E77FD88D49" ], 
  [ "\033[2XIsSplitEpimorphism\033[102X for chain morphisms", "7.3-10", 
      [ 7, 3, 10 ], 182, 43, "issplitepimorphism for chain morphisms", 
      "X87508506872F4FC3" ], 
  [ "\033[2XIsIsomorphism\033[102X for chain morphisms", "7.3-11", 
      [ 7, 3, 11 ], 189, 43, "isisomorphism for chain morphisms", 
      "X85180A1E83C01BAA" ], 
  [ "\033[2XIsAutomorphism\033[102X for chain morphisms", "7.3-12", 
      [ 7, 3, 12 ], 196, 43, "isautomorphism for chain morphisms", 
      "X856D1F5C7E289064" ], 
  [ "\033[2XIsGradedMorphism\033[102X for chain morphisms", "7.3-13", 
      [ 7, 3, 13 ], 203, 43, "isgradedmorphism for chain morphisms", 
      "X81B2B7BC7B27A1F4" ], 
  [ "\033[2XIsQuasiIsomorphism\033[102X for chain morphisms", "7.3-14", 
      [ 7, 3, 14 ], 211, 44, "isquasiisomorphism for chain morphisms", 
      "X7B5C2D788794699E" ], 
  [ "\033[2XSource\033[102X for chain morphisms", "7.4-1", [ 7, 4, 1 ], 221, 
      44, "source for chain morphisms", "X81A0D7187D28BA34" ], 
  [ "\033[2XRange\033[102X for chain morphisms", "7.4-2", [ 7, 4, 2 ], 228, 
      44, "range for chain morphisms", "X842454D5851D0C79" ], 
  [ "\033[2XByASmallerPresentation\033[102X for chain morphisms", "7.5-1", 
      [ 7, 5, 1 ], 238, 44, "byasmallerpresentation for chain morphisms", 
      "X875F27D07EB78998" ], 
  [ "\033[2XIsHomalgBicomplex\033[102X", "8.1-1", [ 8, 1, 1 ], 17, 45, 
      "ishomalgbicomplex", "X80B7C45A850F4C3E" ], 
  [ "\033[2XIsBicomplexOfFinitelyPresentedObjectsRep\033[102X", "8.1-2", 
      [ 8, 1, 2 ], 26, 45, "isbicomplexoffinitelypresentedobjectsrep", 
      "X7892BBCD783ABE16" ], 
  [ "\033[2XIsBicocomplexOfFinitelyPresentedObjectsRep\033[102X", "8.1-3", 
      [ 8, 1, 3 ], 38, 45, "isbicocomplexoffinitelypresentedobjectsrep", 
      "X7A82F6DC7C4C7761" ], 
  [ 
      "\033[2XHomalgBicomplex\033[102X constructor for bicomplexes given a comple\
x of complexes", "8.2-1", [ 8, 2, 1 ], 53, 46, 
      "homalgbicomplex constructor for bicomplexes given a complex of complexe\
s", "X86D50FE285F49BF6" ], 
  [ "\033[2XIsBisequence\033[102X", "8.3-1", [ 8, 3, 1 ], 105, 47, 
      "isbisequence", "X7912E2147849BA74" ], 
  [ "\033[2XIsBicomplex\033[102X", "8.3-2", [ 8, 3, 2 ], 112, 47, 
      "isbicomplex", "X87886CA9828D0B4A" ], 
  [ "\033[2XIsTransposedWRTTheAssociatedComplex\033[102X", "8.3-3", 
      [ 8, 3, 3 ], 119, 47, "istransposedwrttheassociatedcomplex", 
      "X85363EC87E54554C" ], 
  [ "\033[2XTotalComplex\033[102X", "8.4-1", [ 8, 4, 1 ], 131, 47, 
      "totalcomplex", "X7C805D967E803BEF" ], 
  [ "\033[2XSpectralSequence\033[102X for bicomplexes", "8.4-2", [ 8, 4, 2 ], 
      138, 47, "spectralsequence for bicomplexes", "X7E672CA37AA3D34C" ], 
  [ "\033[2XUnderlyingComplex\033[102X", "8.5-1", [ 8, 5, 1 ], 148, 47, 
      "underlyingcomplex", "X7CE9470285B819BC" ], 
  [ "\033[2XByASmallerPresentation\033[102X for bicomplexes", "8.5-2", 
      [ 8, 5, 2 ], 156, 47, "byasmallerpresentation for bicomplexes", 
      "X7D4B66E08666B142" ], 
  [ "\033[2XIsHomalgBigradedObject\033[102X", "9.1-1", [ 9, 1, 1 ], 10, 49, 
      "ishomalgbigradedobject", "X795C082E83748032" ], 
  [ "\033[2XIsHomalgBigradedObjectAssociatedToAnExactCouple\033[102X", 
      "9.1-2", [ 9, 1, 2 ], 19, 49, 
      "ishomalgbigradedobjectassociatedtoanexactcouple", "X7ADBEEA47D650EF2" ]
    , [ "\033[2XIsHomalgBigradedObjectAssociatedToAFilteredComplex\033[102X", 
      "9.1-3", [ 9, 1, 3 ], 28, 49, 
      "ishomalgbigradedobjectassociatedtoafilteredcomplex", 
      "X7994D63E7F77C704" ], 
  [ "\033[2XIsHomalgBigradedObjectAssociatedToABicomplex\033[102X", "9.1-4", 
      [ 9, 1, 4 ], 41, 49, "ishomalgbigradedobjectassociatedtoabicomplex", 
      "X8007507A79E54A1A" ], 
  [ "\033[2XIsBigradedObjectOfFinitelyPresentedObjectsRep\033[102X", "9.1-5", 
      [ 9, 1, 5 ], 51, 50, "isbigradedobjectoffinitelypresentedobjectsrep", 
      "X7AE4EB99817C4508" ], 
  [ 
      "\033[2XHomalgBigradedObject\033[102X constructor for bigraded objects give\
n a bicomplex", "9.2-1", [ 9, 2, 1 ], 66, 50, 
      "homalgbigradedobject constructor for bigraded objects given a bicomplex\
", "X79DCB6FF7E6FFA8B" ], 
  [ 
      "\033[2XAsDifferentialObject\033[102X for homalg bigraded objects stemming \
from a bicomplex", "9.2-2", [ 9, 2, 2 ], 103, 50, 
      "asdifferentialobject for homalg bigraded objects stemming from a bicomp\
lex", "X7D0A240684BD8FC3" ], 
  [ 
      "\033[2XDefectOfExactness\033[102X for homalg differential bigraded objects\
", "9.2-3", [ 9, 2, 3 ], 115, 51, 
      "defectofexactness for homalg differential bigraded objects", 
      "X783AA6E3817BFC0F" ], 
  [ "\033[2XIsEndowedWithDifferential\033[102X", "9.3-1", [ 9, 3, 1 ], 246, 
      53, "isendowedwithdifferential", "X82DD24197D46CB80" ], 
  [ "\033[2XIsStableSheet\033[102X", "9.3-2", [ 9, 3, 2 ], 254, 53, 
      "isstablesheet", "X8466E4747DF9DDF4" ], 
  [ "\033[2XByASmallerPresentation\033[102X for bigraded objects", "9.4-1", 
      [ 9, 4, 1 ], 265, 53, "byasmallerpresentation for bigraded objects", 
      "X7A70FD7C82C0C837" ], 
  [ "\033[2XIsHomalgSpectralSequence\033[102X", "10.1-1", [ 10, 1, 1 ], 15, 
      54, "ishomalgspectralsequence", "X795DCCD88630BA47" ], 
  [ "\033[2XIsHomalgSpectralSequenceAssociatedToAnExactCouple\033[102X", 
      "10.1-2", [ 10, 1, 2 ], 24, 54, 
      "ishomalgspectralsequenceassociatedtoanexactcouple", 
      "X7F2858CB84D2FF7F" ], 
  [ "\033[2XIsHomalgSpectralSequenceAssociatedToAFilteredComplex\033[102X", 
      "10.1-3", [ 10, 1, 3 ], 33, 54, 
      "ishomalgspectralsequenceassociatedtoafilteredcomplex", 
      "X7A6FDA637E4D77CA" ], 
  [ "\033[2XIsHomalgSpectralSequenceAssociatedToABicomplex\033[102X", 
      "10.1-4", [ 10, 1, 4 ], 45, 55, 
      "ishomalgspectralsequenceassociatedtoabicomplex", "X7E7F02B379ABFBF6" ],
  [ "\033[2XIsSpectralSequenceOfFinitelyPresentedObjectsRep\033[102X", 
      "10.1-5", [ 10, 1, 5 ], 55, 55, 
      "isspectralsequenceoffinitelypresentedobjectsrep", "X81B2C07D7BBD25A9" ]
    , [ "\033[2XIsSpectralCosequenceOfFinitelyPresentedObjectsRep\033[102X", 
      "10.1-6", [ 10, 1, 6 ], 67, 55, 
      "isspectralcosequenceoffinitelypresentedobjectsrep", 
      "X7ACDC0C97D8F072A" ], 
  [ 
      "\033[2XHomalgSpectralSequence\033[102X constructor for spectral sequences \
given a bicomplex", "10.2-1", [ 10, 2, 1 ], 82, 55, 
      "homalgspectralsequence constructor for spectral sequences given a bicom\
plex", "X840EE4DE7D84F72D" ], 
  [ 
      "\033[2XHomalgSpectralSequence\033[102X constructor for spectral sequences \
without a special sheet given a bicomplex", "10.2-1", [ 10, 2, 1 ], 82, 55, 
      "homalgspectralsequence constructor for spectral sequences without a spe\
cial sheet given a bicomplex", "X840EE4DE7D84F72D" ], 
  [ 
      "\033[2XHomalgSpectralSequence\033[102X constructor for spectral sequences \
without bound given a bicomplex", "10.2-1", [ 10, 2, 1 ], 82, 55, 
      "homalgspectralsequence constructor for spectral sequences without bound\
 given a bicomplex", "X840EE4DE7D84F72D" ], 
  [ 
      "\033[2XHomalgSpectralSequence\033[102X constructor for spectral sequences \
without bound and without a special sheet given a bicomplex", "10.2-1", 
      [ 10, 2, 1 ], 82, 55, 
      "homalgspectralsequence constructor for spectral sequences without bound\
 and without a special sheet given a bicomplex", "X840EE4DE7D84F72D" ], 
  [ "\033[2XGeneralizedEmbeddingsInTotalObjects\033[102X", "10.3-1", 
      [ 10, 3, 1 ], 203, 57, "generalizedembeddingsintotalobjects", 
      "X862BD6E2875BC376" ], 
  [ "\033[2XGeneralizedEmbeddingsInTotalDefects\033[102X", "10.3-2", 
      [ 10, 3, 2 ], 211, 57, "generalizedembeddingsintotaldefects", 
      "X7B84FE76787EAD55" ], 
  [ "\033[2XByASmallerPresentation\033[102X for spectral sequences", 
      "10.4-1", [ 10, 4, 1 ], 222, 58, 
      "byasmallerpresentation for spectral sequences", "X8775988481D1579F" ], 
  [ "\033[2XIsHomalgFunctor\033[102X", "11.1-1", [ 11, 1, 1 ], 60, 60, 
      "ishomalgfunctor", "X7EB19E0787C99FF2" ], 
  [ "\033[2XIsHomalgFunctorRep\033[102X", "11.1-2", [ 11, 1, 2 ], 67, 60, 
      "ishomalgfunctorrep", "X87ECF5AF7A154723" ], 
  [ "\033[2XCreateHomalgFunctor\033[102X constructor for functors", "11.2-1", 
      [ 11, 2, 1 ], 79, 60, "createhomalgfunctor constructor for functors", 
      "X79407A4E78D628FF" ], 
  [ 
      "\033[2XInsertObjectInMultiFunctor\033[102X constructor for functors given \
a multi-functor and an object", "11.2-2", [ 11, 2, 2 ], 95, 60, 
      "insertobjectinmultifunctor constructor for functors given a multi-funct\
or and an object", "X79454910823BD09F" ], 
  [ 
      "\033[2XRightSatelliteOfCofunctor\033[102X constructor of the right satelli\
te of a contravariant functor", "11.2-3", [ 11, 2, 3 ], 123, 61, 
      "rightsatelliteofcofunctor constructor of the right satellite of a contr\
avariant functor", "X7E0DE63378A5E204" ], 
  [ 
      "\033[2XLeftSatelliteOfFunctor\033[102X constructor of the left satellite o\
f a covariant functor", "11.2-4", [ 11, 2, 4 ], 141, 61, 
      "leftsatelliteoffunctor constructor of the left satellite of a covariant\
 functor", "X87448A45780737AE" ], 
  [ 
      "\033[2XRightDerivedCofunctor\033[102X constructor of the right derived fun\
ctor of a contravariant functor", "11.2-5", [ 11, 2, 5 ], 159, 61, 
      "rightderivedcofunctor constructor of the right derived functor of a con\
travariant functor", "X79EBC65E7DB3FDFB" ], 
  [ 
      "\033[2XLeftDerivedFunctor\033[102X constructor of the left derived functor\
 of a covariant functor", "11.2-6", [ 11, 2, 6 ], 178, 62, 
      "leftderivedfunctor constructor of the left derived functor of a covaria\
nt functor", "X7AC81ED178F2ECB7" ], 
  [ 
      "\033[2XComposeFunctors\033[102X constructor for functors given two functor\
s", "11.2-7", [ 11, 2, 7 ], 197, 62, 
      "composefunctors constructor for functors given two functors", 
      "X7B0F972B850EB3CF" ], 
  [ "\033[2XNameOfFunctor\033[102X", "11.3-1", [ 11, 3, 1 ], 234, 63, 
      "nameoffunctor", "X845E5EF17BBBF64C" ], 
  [ "\033[2XOperationOfFunctor\033[102X", "11.3-2", [ 11, 3, 2 ], 248, 63, 
      "operationoffunctor", "X796A383A7AEDA56E" ], 
  [ "\033[2XGenesis\033[102X", "11.3-3", [ 11, 3, 3 ], 262, 63, "genesis", 
      "X7BCB7F008620570C" ], 
  [ "\033[2XProcedureToReadjustGenerators\033[102X for functors", "11.3-4", 
      [ 11, 3, 4 ], 349, 64, "proceduretoreadjustgenerators for functors", 
      "X83DB28187E1A4E92" ], 
  [ "\033[2Xfunctor_Kernel\033[102X", "11.4-1", [ 11, 4, 1 ], 357, 65, 
      "functor_kernel", "X7E1FD2EA8358FEA7" ], 
  [ "\033[2Xfunctor_DefectOfExactness\033[102X", "11.4-2", [ 11, 4, 2 ], 380, 
      65, "functor_defectofexactness", "X795B435785C96DFD" ], 
  [ "\033[2XInstallFunctor\033[102X", "11.7-1", [ 11, 7, 1 ], 415, 66, 
      "installfunctor", "X7EAE59AC7D402D5A" ], 
  [ "\033[2XInstallDeltaFunctor\033[102X", "11.7-2", [ 11, 7, 2 ], 456, 66, 
      "installdeltafunctor", "X7BD3887982B2663E" ] ]
);