‣ HOMALG_TOOLS | ( global variable ) |
A central place for configurations.
‣ IsStructureObjectOrObjectOrMorphism( arg ) | ( category ) |
Returns: true or false
This is the super super GAP-category which will include the GAP-categories IsStructureObjectOrObject and IsHomalgObjectOrMorphism
‣ IsStructureObjectOrObject( arg ) | ( category ) |
Returns: true or false
This is the super GAP-category which will include the GAP-categories IsHomalgSemiring, IsHomalgModule, IsHomalgSemiringOrModule and IsHomalgComplex
‣ IsStructureObject( arg ) | ( category ) |
Returns: true or false
This is the super GAP-category which will include the GAP-categories IsHomalgSemiring 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 ) | ( category ) |
Returns: true or false
This is the super GAP-category which will include the GAP-categories IsHomalgSemiringMap, etc.
‣ IsHomalgSemiringOrModule( arg ) | ( category ) |
Returns: true or false
this is the super GAP-category which will include the GAP-categories IsHomalgSemiring, IsHomalgModule:
‣ SemiringFilter( semiring ) | ( attribute ) |
A filter inheriting from IsSemiring which uniquely identifies the semiring semiring. For example, the (semi)ring Integers is identified by IsIntegers. If no filter uniquely identifying the semiring exists, the most special filter available should be chosen.
‣ SemiringElementFilter( semiring ) | ( attribute ) |
A filter inheriting from IsSemiringElement which uniquely identifies elements of the semiring semiring. For example, the elements of the (semi)ring Integers are identified by IsInt. If no filter uniquely identifying the elements of the semiring exists, the most special filter available should be chosen.
‣ SemiringFilter( ring ) | ( attribute ) |
A filter inheriting from IsRingWithOne which uniquely identifies the ring ring. For example, the ring Integers is identified by IsIntegers. If no filter uniquely identifying the ring exists, the most special filter available should be chosen.
‣ SemiringElementFilter( ring ) | ( attribute ) |
A filter inheriting from IsRingElement which uniquely identifies elements of the ring ring. For example, the elements of the ring Integers are identified by IsInt. If no filter uniquely identifying the elements of the ring exists, the most special filter available should be chosen.
generated by GAPDoc2HTML