  
  [1X6 Ring Relations[0X
  
  
  [1X6.1 Ring Relations: Categories and Representations[0X
  
  [1X6.1-1 IsHomalgRingRelations[0m
  
  [2X> IsHomalgRingRelations( [0X[3Xrel[0X[2X ) _____________________________________[0XCategory
  [6XReturns:[0X  [10Xtrue[0m or [10Xfalse[0m
  
  The [5XGAP[0m category of [5Xhomalg[0m ring relations.
  
  [1X6.1-2 IsHomalgRingRelationsAsGeneratorsOfLeftIdeal[0m
  
  [2X> IsHomalgRingRelationsAsGeneratorsOfLeftIdeal( [0X[3Xrel[0X[2X ) ______________[0XCategory
  [6XReturns:[0X  [10Xtrue[0m or [10Xfalse[0m
  
  The [5XGAP[0m category of [5Xhomalg[0m relations of a left module.
  
  (It is a subcategory of the [5XGAP[0m category [10XIsHomalgRingRelations[0m.)
  
  [1X6.1-3 IsHomalgRingRelationsAsGeneratorsOfRightIdeal[0m
  
  [2X> IsHomalgRingRelationsAsGeneratorsOfRightIdeal( [0X[3Xrel[0X[2X ) _____________[0XCategory
  [6XReturns:[0X  [10Xtrue[0m or [10Xfalse[0m
  
  The [5XGAP[0m category of [5Xhomalg[0m relations of a right module.
  
  (It is a subcategory of the [5XGAP[0m category [10XIsHomalgRingRelations[0m.)
  
  [1X6.1-4 IsRingRelationsRep[0m
  
  [2X> IsRingRelationsRep( [0X[3Xrel[0X[2X ) __________________________________[0XRepresentation
  [6XReturns:[0X  [10Xtrue[0m or [10Xfalse[0m
  
  The  [5XGAP[0m representation of a finite set of relations of a finitely presented
  [5Xhomalg[0m module.
  
  (It is a representation of the [5XGAP[0m category [2XIsHomalgRingRelations[0m ([14X6.1-1[0m))
  
  
  [1X6.2 Ring Relations: Constructors[0X
  
  
  [1X6.3 Ring Relations: Properties[0X
  
  [1X6.3-1 CanBeUsedToDecideZero[0m
  
  [2X> CanBeUsedToDecideZero( [0X[3Xrel[0X[2X ) _____________________________________[0Xproperty
  [6XReturns:[0X  [10Xtrue[0m or [10Xfalse[0m
  
  Check  if  the  [5Xhomalg[0m  set  of  relations  [3Xrel[0m  can be used for normal form
  reductions.
  (no method installed)
  
  [1X6.3-2 IsInjectivePresentation[0m
  
  [2X> IsInjectivePresentation( [0X[3Xrel[0X[2X ) ___________________________________[0Xproperty
  [6XReturns:[0X  [10Xtrue[0m or [10Xfalse[0m
  
  Check if the [5Xhomalg[0m set of relations [3Xrel[0m has zero syzygies.
  
  
  [1X6.4 Ring Relations: Attributes[0X
  
  
  [1X6.5 Ring Relations: Operations and Functions[0X
  
