  
  [1X6 [33X[0;0YRing Relations[133X[101X
  
  
  [1X6.1 [33X[0;0YRing Relations: Categories and Representations[133X[101X
  
  [1X6.1-1 IsHomalgRingRelations[101X
  
  [33X[1;0Y[29X[2XIsHomalgRingRelations[102X( [3Xrel[103X ) [32X Category[133X
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThe [5XGAP[105X category of [5Xhomalg[105X ring relations.[133X
  
  [1X6.1-2 IsHomalgRingRelationsAsGeneratorsOfLeftIdeal[101X
  
  [33X[1;0Y[29X[2XIsHomalgRingRelationsAsGeneratorsOfLeftIdeal[102X( [3Xrel[103X ) [32X Category[133X
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThe [5XGAP[105X category of [5Xhomalg[105X ring relations as generators of a left ideal.[133X
  
  [33X[0;0Y(It is a subcategory of the [5XGAP[105X category [10XIsHomalgRingRelations[110X.)[133X
  
  [1X6.1-3 IsHomalgRingRelationsAsGeneratorsOfRightIdeal[101X
  
  [33X[1;0Y[29X[2XIsHomalgRingRelationsAsGeneratorsOfRightIdeal[102X( [3Xrel[103X ) [32X Category[133X
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThe [5XGAP[105X category of [5Xhomalg[105X ring relations as generators of a right ideal.[133X
  
  [33X[0;0Y(It is a subcategory of the [5XGAP[105X category [10XIsHomalgRingRelations[110X.)[133X
  
  [1X6.1-4 IsRingRelationsRep[101X
  
  [33X[1;0Y[29X[2XIsRingRelationsRep[102X( [3Xrel[103X ) [32X Representation[133X
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThe [5XGAP[105X representation of a finite set of relations of a [5Xhomalg[105X ring.[133X
  
  [33X[0;0Y(It is a representation of the [5XGAP[105X category [2XIsHomalgRingRelations[102X ([14X6.1-1[114X))[133X
  
  
  [1X6.2 [33X[0;0YRing Relations: Constructors[133X[101X
  
  
  [1X6.3 [33X[0;0YRing Relations: Properties[133X[101X
  
  [1X6.3-1 CanBeUsedToDecideZero[101X
  
  [33X[1;0Y[29X[2XCanBeUsedToDecideZero[102X( [3Xrel[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YCheck  if  the  [5Xhomalg[105X  set  of  relations  [3Xrel[103X  can be used for normal form
  reductions.[133X
  [33X[0;0Y(no method installed)[133X
  
  [1X6.3-2 IsInjectivePresentation[101X
  
  [33X[1;0Y[29X[2XIsInjectivePresentation[102X( [3Xrel[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YCheck if the [5Xhomalg[105X set of relations [3Xrel[103X has zero syzygies.[133X
  
  
  [1X6.4 [33X[0;0YRing Relations: Attributes[133X[101X
  
  
  [1X6.5 [33X[0;0YRing Relations: Operations and Functions[133X[101X
  
