  
  
                                 [1X[5XToolsForHomalg[105X[101X
  
  
                          [1XTools for the [5Xhomalg[105X project[101X
  
  
                               Version 2019.02.17
  
  
                                 December 2014
  
  
                                Mohamed Barakat
  
                               Sebastian Gutsche
  
                             Markus Lange-Hegermann
  
  
  
            [33X[0;10Y([13Xthis manual is still under construction[113X)[133X
            [33X[0;10YThis  manual  is  best  viewed  as an [12XHTML[112X document. The
            latest version is available [12Xonline[112X at:[133X
            [33X[0;10Y[7Xhttp://wwwb.math.rwth-aachen.de/~gutsche/gap_packages/ToolsForHomalg/chap0.html[107X[133X
            [33X[0;10YAn   [12Xoffline[112X   version   should   be   included  in  the
            documentation  subfolder of the package. This package is
            part of the [5Xhomalg[105X-project:[133X
            [33X[0;10Y[7Xhttp://homalg.math.rwth-aachen.de/index.php/core-packages/toolsforhomalg[107X[133X
  
  
  
  Mohamed Barakat
      Email:    [7Xmailto:barakat@mathematik.uni-kl.de[107X
      Homepage: [7Xhttp://www.mathematik.uni-kl.de/~barakat/[107X
      Address:  [33X[0;14YDepartment of Mathematics,[133X
                [33X[0;14YUniversity of Kaiserslautern,[133X
                [33X[0;14Y67653 Kaiserslautern,[133X
                [33X[0;14YGermany[133X
  
  
  Sebastian Gutsche
      Email:    [7Xmailto:sebastian.gutsche@rwth-aachen.de[107X
      Homepage: [7Xhttp://wwwb.math.rwth-aachen.de/~gutsche/[107X
      Address:  [33X[0;14YLehrstuhl  B  für  Mathematik,  RWTH Aachen, Templergraben 64,
                52056 Aachen, Germany[133X
  
  
  Markus Lange-Hegermann
      Email:    [7Xmailto:markus.lange.hegermann@rwth-aachen.de[107X
      Homepage: [7Xhttp://wwwb.math.rwth-aachen.de/~markus/[107X
      Address:  [33X[0;14YLehrstuhl  B  für  Mathematik,  RWTH Aachen, Templergraben 64,
                52056 Aachen, Germany[133X
  
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y©   2007-2014   by   Mohamed   Barakat,   Sebastian   Gutsche,   and  Markus
  Lange-Hegermann[133X
  
  [33X[0;0YThis  package  may  be distributed under the terms and conditions of the GNU
  Public License Version 2 or (at your option) any later version.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (ToolsForHomalg)[101X
  
  1 [33X[0;0YIntroduction[133X
    1.1 [33X[0;0YWhat is the role of the [5XToolsForHomalg[105X package in the [5Xhomalg[105X project?[133X
      1.1-1 [33X[0;0Y[5XToolsForHomalg[105X provides ...[133X
  2 [33X[0;0YInstallation of the [5XToolsForHomalg[105X Package[133X
  3 [33X[0;0YCaches[133X
    3.1 [33X[0;0YObject constructors[133X
      3.1-1 CachingObject
      3.1-2 CachingObject
    3.2 [33X[0;0YSetters, getters[133X
      3.2-1 CacheValue
      3.2-2 SetCacheValue
      3.2-3 IsEqualForCache
    3.3 [33X[0;0YManaging functions[133X
      3.3-1 SetCachingObjectCrisp
      3.3-2 SetCachingObjectWeak
      3.3-3 DeactivateCachingObject
    3.4 [33X[0;0YInstall functions[133X
      3.4-1 InstallMethodWithCache
      3.4-2 InstallMethodWithCrispCache
      3.4-3 InstallMethodWithCacheFromObject
      3.4-4 FunctionWithCache
  4 [33X[0;0YToDo-list[133X
    4.1 [33X[0;0YBlueprints[133X
      4.1-1 ToDoListEntryToMaintainEqualAttributes
      4.1-2 ToDoListEntryToMaintainFollowingAttributes
      4.1-3 ToDoListEntry
      4.1-4 ToDoList_this_object
      4.1-5 ToDoListEntryToMaintainEqualAttributesBlueprint
      4.1-6 ToDoListEntryToMaintainFollowingAttributesBlueprint
      4.1-7 ToDoListEntryBlueprint
    4.2 [33X[0;0YToDo-list entries[133X
      4.2-1 AddToToDoList
      4.2-2 SourcePart
      4.2-3 TargetPart
      4.2-4 ProcessAToDoListEntry
      4.2-5 ToDoListEntry
      4.2-6 ToDoListEntry
      4.2-7 SetTargetValueObject
      4.2-8 SetTargetObject
      4.2-9 ToDoListEntryWithContraposition
      4.2-10 DescriptionOfImplication
      4.2-11 ToDoListEntryForEqualAttributes
      4.2-12 ToDoListEntryForEquivalentAttributes
    4.3 [33X[0;0YCategory[133X
      4.3-1 IsToDoList
    4.4 [33X[0;0YConstructor[133X
      4.4-1 NewToDoList
    4.5 [33X[0;0YThis is the magic[133X
      4.5-1 Process_A_ToDo_List_Entry
      4.5-2 ProcessToDoList
    4.6 [33X[0;0YMethods for all objects[133X
      4.6-1 ToDoList
    4.7 [33X[0;0YProof tracking[133X
      4.7-1 TraceProof
    4.8 [33X[0;0YMaintainance[133X
      4.8-1 ActivateToDoList
      4.8-2 ActivateToDoList
      4.8-3 DeactivateToDoList
      4.8-4 DeactivateToDoList
      4.8-5 ActivateWhereInfosInEntries
      4.8-6 DeactivateWhereInfosInEntries
  5 [33X[0;0YToolsForHomalg automatic generated documentation[133X
    5.1 [33X[0;0YToolsForHomalg automatic generated documentation of global variables[133X
      5.1-1 HOMALG_TOOLS
  6 [33X[0;0YBasics[133X
    6.1 [33X[0;0YCategories[133X
      6.1-1 IsStructureObjectOrObjectOrMorphism
      6.1-2 IsStructureObjectOrObject
      6.1-3 IsStructureObject
      6.1-4 IsStructureObjectMorphism
      6.1-5 IsHomalgRingOrModule
  7 [33X[0;0YPointers[133X
    7.1 [33X[0;0YWeak pointer objects[133X
      7.1-1 IsContainerForWeakPointers
      7.1-2 ContainerForWeakPointers
      7.1-3 UpdateContainerOfWeakPointers
      7.1-4 _AddElmWPObj_ForHomalg
      7.1-5 _AddTwoElmWPObj_ForHomalg
      7.1-6 _ElmWPObj_ForHomalg
    7.2 [33X[0;0YPointer objects[133X
      7.2-1 IsContainerForPointers
      7.2-2 ContainerForPointers
      7.2-3 UpdateContainerOfPointers
      7.2-4 _AddElmPObj_ForHomalg
      7.2-5 _AddTwoElmPObj_ForHomalg
      7.2-6 _ElmPObj_ForHomalg
  8 [33X[0;0YTools[133X
    8.1 [33X[0;0YFunctions[133X
      8.1-1 homalgTotalRuntimes
      8.1-2 AddLeftRightLogicalImplicationsForHomalg
      8.1-3 LogicalImplicationsForOneHomalgObject
      8.1-4 LogicalImplicationsForTwoHomalgBasicObjects
      8.1-5 InstallLogicalImplicationsForHomalgBasicObjects
      8.1-6 LeftRightAttributesForHomalg
      8.1-7 InstallLeftRightAttributesForHomalg
      8.1-8 MatchPropertiesAndAttributes
      8.1-9 InstallImmediateMethodToPullPropertyOrAttribute
      8.1-10 InstallImmediateMethodToConditionallyPullPropertyOrAttribute
      8.1-11 InstallImmediateMethodToPullPropertyOrAttributeWithDifferentName
      8.1-12 InstallImmediateMethodToPullPropertiesOrAttributes
      8.1-13 InstallImmediateMethodToPullTrueProperty
      8.1-14 InstallImmediateMethodToConditionallyPullTrueProperty
      8.1-15 InstallImmediateMethodToPullTruePropertyWithDifferentName
      8.1-16 InstallImmediateMethodToPullTrueProperties
      8.1-17 InstallImmediateMethodToPullFalseProperty
      8.1-18 InstallImmediateMethodToConditionallyPullFalseProperty
      8.1-19 InstallImmediateMethodToPullFalsePropertyWithDifferentName
      8.1-20 InstallImmediateMethodToPullFalseProperties
      8.1-21 InstallImmediateMethodToPushPropertyOrAttribute
      8.1-22 InstallImmediateMethodToConditionallyPushPropertyOrAttribute
      8.1-23 InstallImmediateMethodToPushPropertyOrAttributeWithDifferentName
      8.1-24 InstallImmediateMethodToPushPropertiesOrAttributes
      8.1-25 InstallImmediateMethodToPushTrueProperty
      8.1-26 InstallImmediateMethodToPushTruePropertyWithDifferentName
      8.1-27 InstallImmediateMethodToPushTrueProperties
      8.1-28 InstallImmediateMethodToPushFalseProperty
      8.1-29 InstallImmediateMethodToPushFalsePropertyWithDifferentName
      8.1-30 InstallImmediateMethodToPushFalseProperties
      8.1-31 DeclareAttributeWithCustomGetter
      8.1-32 AppendToAhomalgTable
      8.1-33 homalgNamesOfComponentsToIntLists
      8.1-34 IncreaseExistingCounterInObject
      8.1-35 IncreaseExistingCounterInObjectWithTiming
      8.1-36 IncreaseCounterInObject
      8.1-37 MemoryToString
      8.1-38 PrimePowerExponent
      8.1-39 ViewList
      8.1-40 homalgLaTeX
      8.1-41 IdenticalPosition
      8.1-42 PositionsOfMaximalObjects
      8.1-43 MaximalObjects
    8.2 [33X[0;0YExamplefunctions[133X
      8.2-1 ExamplesForHomalg
      8.2-2 ExamplesForHomalg
  9 [33X[0;0YTrees[133X
    9.1 [33X[0;0YTrees[133X
      9.1-1 IsTree
      9.1-2 Content
      9.1-3 ListOfSuccessors
      9.1-4 Predecessor
      9.1-5 ListOfSentinels
      9.1-6 RemoveHead
      9.1-7 Tree
      9.1-8 Tree
      9.1-9 Add
      9.1-10 ContentListFromSentinelToHead
      9.1-11 PostOrder
  
  
  [32X
