| ‣ 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