> 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 relations of a left module.
(It is a subcategory of the GAP category IsHomalgRingRelations
.)
> IsHomalgRingRelationsAsGeneratorsOfRightIdeal ( rel ) | ( category ) |
Returns: true
or false
The GAP category of homalg relations of a right module.
(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 finitely presented homalg module.
(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