Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563477 views
1
2
3
ToolsForHomalg
4
5
6
Tools for the homalg project
7
8
9
Version 2017.11.05
10
11
12
December 2014
13
14
15
Mohamed Barakat
16
17
Sebastian Gutsche
18
19
Markus Lange-Hegermann
20
21
22
23
(this manual is still under construction)
24
This manual is best viewed as an HTML document. The
25
latest version is available online at:
26
http://wwwb.math.rwth-aachen.de/~gutsche/gap_packages/ToolsForHomalg/chap0.html
27
An offline version should be included in the
28
documentation subfolder of the package. This package is
29
part of the homalg-project:
30
http://homalg.math.rwth-aachen.de/index.php/core-packages/toolsforhomalg
31
32
33
34
Mohamed Barakat
35
Email: mailto:[email protected]
36
Homepage: http://www.mathematik.uni-kl.de/~barakat/
37
Address: Department of Mathematics,
38
University of Kaiserslautern,
39
67653 Kaiserslautern,
40
Germany
41
42
43
Sebastian Gutsche
44
Email: mailto:[email protected]
45
Homepage: http://wwwb.math.rwth-aachen.de/~gutsche/
46
Address: Lehrstuhl B für Mathematik, RWTH Aachen, Templergraben 64,
47
52056 Aachen, Germany
48
49
50
Markus Lange-Hegermann
51
Email: mailto:[email protected]
52
Homepage: http://wwwb.math.rwth-aachen.de/~markus/
53
Address: Lehrstuhl B für Mathematik, RWTH Aachen, Templergraben 64,
54
52056 Aachen, Germany
55
56
57
58
-------------------------------------------------------
59
Copyright
60
© 2007-2014 by Mohamed Barakat, Sebastian Gutsche, and Markus
61
Lange-Hegermann
62
63
This package may be distributed under the terms and conditions of the GNU
64
Public License Version 2.
65
66
67
-------------------------------------------------------
68
69
70
Contents (ToolsForHomalg)
71
72
1 Introduction
73
1.1 What is the role of the ToolsForHomalg package in the homalg project?
74
1.1-1 ToolsForHomalg provides ...
75
2 Installation of the ToolsForHomalg Package
76
3 Caches
77
3.1 Object constructors
78
3.1-1 CachingObject
79
3.1-2 CachingObject
80
3.2 Setters, getters
81
3.2-1 CacheValue
82
3.2-2 SetCacheValue
83
3.2-3 IsEqualForCache
84
3.3 Managing functions
85
3.3-1 SetCachingObjectCrisp
86
3.3-2 SetCachingObjectWeak
87
3.3-3 DeactivateCachingObject
88
3.4 Install functions
89
3.4-1 InstallMethodWithCache
90
3.4-2 InstallMethodWithCrispCache
91
3.4-3 InstallMethodWithCacheFromObject
92
3.4-4 FunctionWithCache
93
4 ToDo-list
94
4.1 Blueprints
95
4.1-1 ToDoListEntryToMaintainEqualAttributes
96
4.1-2 ToDoListEntryToMaintainFollowingAttributes
97
4.1-3 ToDoListEntry
98
4.1-4 ToDoList_this_object
99
4.1-5 ToDoListEntryToMaintainEqualAttributesBlueprint
100
4.1-6 ToDoListEntryToMaintainFollowingAttributesBlueprint
101
4.1-7 ToDoListEntryBlueprint
102
4.2 ToDo-list entries
103
4.2-1 AddToToDoList
104
4.2-2 SourcePart
105
4.2-3 TargetPart
106
4.2-4 ProcessAToDoListEntry
107
4.2-5 ToDoListEntry
108
4.2-6 ToDoListEntry
109
4.2-7 SetTargetValueObject
110
4.2-8 SetTargetObject
111
4.2-9 ToDoListEntryWithContraposition
112
4.2-10 DescriptionOfImplication
113
4.2-11 ToDoListEntryForEqualAttributes
114
4.2-12 ToDoListEntryForEquivalentAttributes
115
4.3 Category
116
4.3-1 IsToDoList
117
4.4 Constructor
118
4.4-1 NewToDoList
119
4.5 This is the magic
120
4.5-1 Process_A_ToDo_List_Entry
121
4.5-2 ProcessToDoList
122
4.6 Methods for all objects
123
4.6-1 ToDoList
124
4.7 Proof tracking
125
4.7-1 TraceProof
126
4.8 Maintainance
127
4.8-1 ActivateToDoList
128
4.8-2 ActivateToDoList
129
4.8-3 DeactivateToDoList
130
4.8-4 DeactivateToDoList
131
4.8-5 ActivateWhereInfosInEntries
132
4.8-6 DeactivateWhereInfosInEntries
133
5 ToolsForHomalg automatic generated documentation
134
5.1 ToolsForHomalg automatic generated documentation of global variables
135
5.1-1 HOMALG_TOOLS
136
6 Basics
137
6.1 Categories
138
6.1-1 IsStructureObjectOrObjectOrMorphism
139
6.1-2 IsStructureObjectOrObject
140
6.1-3 IsStructureObject
141
6.1-4 IsStructureObjectMorphism
142
6.1-5 IsHomalgRingOrModule
143
7 Pointers
144
7.1 Weak pointer objects
145
7.1-1 IsContainerForWeakPointers
146
7.1-2 ContainerForWeakPointers
147
7.1-3 UpdateContainerOfWeakPointers
148
7.1-4 _AddElmWPObj_ForHomalg
149
7.1-5 _AddTwoElmWPObj_ForHomalg
150
7.1-6 _ElmWPObj_ForHomalg
151
7.2 Pointer objects
152
7.2-1 IsContainerForPointers
153
7.2-2 ContainerForPointers
154
7.2-3 UpdateContainerOfPointers
155
7.2-4 _AddElmPObj_ForHomalg
156
7.2-5 _AddTwoElmPObj_ForHomalg
157
7.2-6 _ElmPObj_ForHomalg
158
8 Tools
159
8.1 Functions
160
8.1-1 homalgTotalRuntimes
161
8.1-2 AddLeftRightLogicalImplicationsForHomalg
162
8.1-3 LogicalImplicationsForOneHomalgObject
163
8.1-4 LogicalImplicationsForTwoHomalgBasicObjects
164
8.1-5 InstallLogicalImplicationsForHomalgBasicObjects
165
8.1-6 LeftRightAttributesForHomalg
166
8.1-7 InstallLeftRightAttributesForHomalg
167
8.1-8 MatchPropertiesAndAttributes
168
8.1-9 InstallImmediateMethodToPullPropertyOrAttribute
169
8.1-10 InstallImmediateMethodToConditionallyPullPropertyOrAttribute
170
8.1-11 InstallImmediateMethodToPullPropertyOrAttributeWithDifferentName
171
8.1-12 InstallImmediateMethodToPullPropertiesOrAttributes
172
8.1-13 InstallImmediateMethodToPullTrueProperty
173
8.1-14 InstallImmediateMethodToConditionallyPullTrueProperty
174
8.1-15 InstallImmediateMethodToPullTruePropertyWithDifferentName
175
8.1-16 InstallImmediateMethodToPullTrueProperties
176
8.1-17 InstallImmediateMethodToPullFalseProperty
177
8.1-18 InstallImmediateMethodToConditionallyPullFalseProperty
178
8.1-19 InstallImmediateMethodToPullFalsePropertyWithDifferentName
179
8.1-20 InstallImmediateMethodToPullFalseProperties
180
8.1-21 InstallImmediateMethodToPushPropertyOrAttribute
181
8.1-22 InstallImmediateMethodToConditionallyPushPropertyOrAttribute
182
8.1-23 InstallImmediateMethodToPushPropertyOrAttributeWithDifferentName
183
8.1-24 InstallImmediateMethodToPushPropertiesOrAttributes
184
8.1-25 InstallImmediateMethodToPushTrueProperty
185
8.1-26 InstallImmediateMethodToPushTruePropertyWithDifferentName
186
8.1-27 InstallImmediateMethodToPushTrueProperties
187
8.1-28 InstallImmediateMethodToPushFalseProperty
188
8.1-29 InstallImmediateMethodToPushFalsePropertyWithDifferentName
189
8.1-30 InstallImmediateMethodToPushFalseProperties
190
8.1-31 DeclareAttributeWithCustomGetter
191
8.1-32 AppendToAhomalgTable
192
8.1-33 homalgNamesOfComponentsToIntLists
193
8.1-34 IncreaseExistingCounterInObject
194
8.1-35 IncreaseExistingCounterInObjectWithTiming
195
8.1-36 IncreaseCounterInObject
196
8.1-37 MemoryToString
197
8.1-38 PrimePowerExponent
198
8.1-39 ViewList
199
8.1-40 homalgLaTeX
200
8.2 Examplefunctions
201
8.2-1 ExamplesForHomalg
202
8.2-2 ExamplesForHomalg
203
9 Trees
204
9.1 Trees
205
9.1-1 IsTree
206
9.1-2 Content
207
9.1-3 ListOfSuccessors
208
9.1-4 Predecessor
209
9.1-5 ListOfSentinels
210
9.1-6 RemoveHead
211
9.1-7 Tree
212
9.1-8 Tree
213
9.1-9 Add
214
9.1-10 ContentListFromSentinelToHead
215
9.1-11 PostOrder
216
217
218

219
220