‣ 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