‣ IsStructureObjectOrObjectOrMorphism( arg ) | ( filter ) |
Returns: true or false
This is the super super GAP-category which will include the GAP-categories IsStructureObjectOrObject and IsHomalgObjectOrMorphism
‣ IsStructureObjectOrObject( arg ) | ( filter ) |
Returns: true or false
This is the super GAP-category which will include the GAP-categories IsHomalgRing, IsHomalgModule, IsHomalgRingOrModule and IsHomalgComplex
‣ 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)
‣ IsStructureObjectMorphism( arg ) | ( filter ) |
Returns: true or false
This is the super GAP-category which will include the GAP-categories IsHomalgRingMap, etc.
‣ IsHomalgRingOrModule( arg ) | ( filter ) |
Returns: true or false
this is the super GAP-category which will include the GAP-categories IsHomalgRing, IsHomalgModule:
generated by GAPDoc2HTML