Goto Chapter: Top 1 2 3 4 5 6 7 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

4 Basics
 4.1 Global variables
 4.2 GAP Categories

4 Basics

4.1 Global variables

4.1-1 HOMALG_TOOLS
‣ HOMALG_TOOLS( global variable )

A central place for configurations.

4.2 GAP Categories

4.2-1 IsStructureObjectOrObjectOrMorphism
‣ IsStructureObjectOrObjectOrMorphism( arg )( filter )

Returns: true or false

This is the super super GAP-category which will include the GAP-categories IsStructureObjectOrObject and IsHomalgObjectOrMorphism

4.2-2 IsStructureObjectOrObject
‣ IsStructureObjectOrObject( arg )( filter )

Returns: true or false

This is the super GAP-category which will include the GAP-categories IsHomalgRing, IsHomalgModule, IsHomalgRingOrModule and IsHomalgComplex

4.2-3 IsStructureObject
‣ IsStructureObject( arg )( filter )

Returns: true or false

This is the super GAP-category which will include the GAP-categories IsHomalgRing we need this GAP-category to define things like Hom(M,R) as easy as Hom(M,N) without distinguishing between structure objects (e.g. rings) and objects (e.g. modules)

4.2-4 IsStructureObjectMorphism
‣ IsStructureObjectMorphism( arg )( filter )

Returns: true or false

This is the super GAP-category which will include the GAP-categories IsHomalgRingMap, etc.

4.2-5 IsHomalgRingOrModule
‣ IsHomalgRingOrModule( arg )( filter )

Returns: true or false

this is the super GAP-category which will include the GAP-categories IsHomalgRing, IsHomalgModule:

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 Ind

generated by GAPDoc2HTML