‣ IsHomalgRingRelations( rel ) | ( category ) |
Returns: true or false
The GAP category of homalg ring relations.
‣ IsHomalgRingRelationsAsGeneratorsOfLeftIdeal( rel ) | ( category ) |
Returns: true or false
The GAP category of homalg ring relations as generators of a left ideal.
(It is a subcategory of the GAP category IsHomalgRingRelations.)
‣ IsHomalgRingRelationsAsGeneratorsOfRightIdeal( rel ) | ( category ) |
Returns: true or false
The GAP category of homalg ring relations as generators of a right ideal.
(It is a subcategory of the GAP category IsHomalgRingRelations.)
‣ IsRingRelationsRep( rel ) | ( representation ) |
Returns: true or false
The GAP representation of a finite set of relations of a homalg ring.
(It is a representation of the GAP category IsHomalgRingRelations (6.1-1))
‣ CanBeUsedToDecideZero( rel ) | ( property ) |
Returns: true or false
Check if the homalg set of relations rel can be used for normal form reductions.
(no method installed)
‣ IsInjectivePresentation( rel ) | ( property ) |
Returns: true or false
Check if the homalg set of relations rel has zero syzygies.
generated by GAPDoc2HTML