  
  [1X4 [33X[0;0YExternal Rings[133X[101X
  
  
  [1X4.1 [33X[0;0YExternal Rings: Representation[133X[101X
  
  [1X4.1-1 IsHomalgExternalRingRep[101X
  
  [29X[2XIsHomalgExternalRingRep[102X( [3XR[103X ) [32X Representation
  [6XReturns:[106X  [33X[0;10Y[10Xtrue[110X or [10Xfalse[110X[133X
  
  [33X[0;0YThe internal representation of [5Xhomalg[105X rings.[133X
  
  [33X[0;0Y(It is a representation of the [5XGAP[105X category [10XIsHomalgRing[110X.)[133X
  
  
  [1X4.2 [33X[0;0YRings: Constructors[133X[101X
  
  
  [1X4.3 [33X[0;0YExternal Rings: Operations and Functions[133X[101X
  
