  
  
                                 [1X[5XToolsForHomalg[105X[101X
  
  
                          [1XTools for the [5Xhomalg[105X project[101X
  
  
                               Version 2014.12.08
  
  
                                 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.[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;0YToDo-list[133X
    3.1 [33X[0;0YBlueprints[133X
      3.1-1 ToDoListEntryToMaintainEqualAttributes
      3.1-2 ToDoListEntryToMaintainFollowingAttributes
      3.1-3 ToDoListEntry
      3.1-4 ToDoList_this_object
      3.1-5 ToDoListEntryToMaintainEqualAttributesBlueprint
      3.1-6 ToDoListEntryToMaintainFollowingAttributesBlueprint
      3.1-7 ToDoListEntryBlueprint
    3.2 [33X[0;0YToDo-list entries[133X
      3.2-1 AddToToDoList
      3.2-2 SourcePart
      3.2-3 TargetPart
      3.2-4 ProcessAToDoListEntry
      3.2-5 ToDoListEntry
      3.2-6 ToDoListEntry
      3.2-7 SetTargetValueObject
      3.2-8 SetTargetObject
      3.2-9 ToDoListEntryWithContraposition
      3.2-10 DescriptionOfImplication
      3.2-11 ToDoListEntryForEqualAttributes
      3.2-12 ToDoListEntryForEquivalentAttributes
    3.3 [33X[0;0YCategory[133X
      3.3-1 IsToDoList
    3.4 [33X[0;0YConstructor[133X
      3.4-1 NewToDoList
    3.5 [33X[0;0YThis is the magic[133X
      3.5-1 Process_A_ToDo_List_Entry
      3.5-2 ProcessToDoList
    3.6 [33X[0;0YMethods for all objects[133X
      3.6-1 ToDoList
    3.7 [33X[0;0YProof tracking[133X
      3.7-1 TraceProof
    3.8 [33X[0;0YMaintainance[133X
      3.8-1 ActivateToDoList
      3.8-2 ActivateToDoList
      3.8-3 DeactivateToDoList
      3.8-4 DeactivateToDoList
      3.8-5 ActivateWhereInfosInEntries
      3.8-6 DeactivateWhereInfosInEntries
  4 [33X[0;0YToolsForHomalg automatic generated documentation[133X
    4.1 [33X[0;0YToolsForHomalg automatic generated documentation of global variables[133X
      4.1-1 HOMALG_TOOLS
  5 [33X[0;0YBasics[133X
    5.1 [33X[0;0YCategories[133X
      5.1-1 IsStructureObjectOrObjectOrMorphism
      5.1-2 IsStructureObjectOrObject
      5.1-3 IsStructureObject
      5.1-4 IsStructureObjectMorphism
      5.1-5 IsHomalgRingOrModule
  6 [33X[0;0YPointers[133X
    6.1 [33X[0;0YWeak pointer objects[133X
      6.1-1 IsContainerForWeakPointers
      6.1-2 ContainerForWeakPointers
      6.1-3 UpdateContainerOfWeakPointers
      6.1-4 _AddElmWPObj_ForHomalg
      6.1-5 _AddTwoElmWPObj_ForHomalg
      6.1-6 _ElmWPObj_ForHomalg
    6.2 [33X[0;0YPointer objects[133X
      6.2-1 IsContainerForPointers
      6.2-2 ContainerForPointers
      6.2-3 UpdateContainerOfPointers
      6.2-4 _AddElmPObj_ForHomalg
      6.2-5 _AddTwoElmPObj_ForHomalg
      6.2-6 _ElmPObj_ForHomalg
  7 [33X[0;0YTools[133X
    7.1 [33X[0;0YFunctions[133X
      7.1-1 homalgTotalRuntimes
      7.1-2 AddLeftRightLogicalImplicationsForHomalg
      7.1-3 LogicalImplicationsForOneHomalgObject
      7.1-4 LogicalImplicationsForTwoHomalgBasicObjects
      7.1-5 InstallLogicalImplicationsForHomalgBasicObjects
      7.1-6 LeftRightAttributesForHomalg
      7.1-7 InstallLeftRightAttributesForHomalg
      7.1-8 MatchPropertiesAndAttributes
      7.1-9 InstallImmediateMethodToPullPropertyOrAttribute
      7.1-10 InstallImmediateMethodToConditionallyPullPropertyOrAttribute
      7.1-11 InstallImmediateMethodToPullPropertyOrAttributeWithDifferentName
      7.1-12 InstallImmediateMethodToPullPropertiesOrAttributes
      7.1-13 InstallImmediateMethodToPullTrueProperty
      7.1-14 InstallImmediateMethodToConditionallyPullTrueProperty
      7.1-15 InstallImmediateMethodToPullTruePropertyWithDifferentName
      7.1-16 InstallImmediateMethodToPullTrueProperties
      7.1-17 InstallImmediateMethodToPullFalseProperty
      7.1-18 InstallImmediateMethodToConditionallyPullFalseProperty
      7.1-19 InstallImmediateMethodToPullFalsePropertyWithDifferentName
      7.1-20 InstallImmediateMethodToPullFalseProperties
      7.1-21 InstallImmediateMethodToPushPropertyOrAttribute
      7.1-22 InstallImmediateMethodToConditionallyPushPropertyOrAttribute
      7.1-23 InstallImmediateMethodToPushPropertyOrAttributeWithDifferentName
      7.1-24 InstallImmediateMethodToPushPropertiesOrAttributes
      7.1-25 InstallImmediateMethodToPushTrueProperty
      7.1-26 InstallImmediateMethodToPushTruePropertyWithDifferentName
      7.1-27 InstallImmediateMethodToPushTrueProperties
      7.1-28 InstallImmediateMethodToPushFalseProperty
      7.1-29 InstallImmediateMethodToPushFalsePropertyWithDifferentName
      7.1-30 InstallImmediateMethodToPushFalseProperties
      7.1-31 DeclareAttributeWithCustomGetter
      7.1-32 AppendToAhomalgTable
      7.1-33 homalgNamesOfComponentsToIntLists
      7.1-34 IncreaseExistingCounterInObject
      7.1-35 IncreaseExistingCounterInObjectWithTiming
      7.1-36 IncreaseCounterInObject
      7.1-37 MemoryToString
      7.1-38 PrimePowerExponent
      7.1-39 ViewList
      7.1-40 homalgLaTeX
    7.2 [33X[0;0YExamplefunctions[133X
      7.2-1 ExamplesForHomalg
      7.2-2 ExamplesForHomalg
  8 [33X[0;0YTrees[133X
    8.1 [33X[0;0YTrees[133X
      8.1-1 IsTree
      8.1-2 Content
      8.1-3 ListOfSuccessors
      8.1-4 Predecessor
      8.1-5 ListOfSentinels
      8.1-6 RemoveHead
      8.1-7 Tree
      8.1-8 Tree
      8.1-9 Add
      8.1-10 ContentListFromSentinelToHead
      8.1-11 PostOrder
  
  
  [32X
