  
  [1X14 [33X[0;0YDummy implementations[133X[101X
  
  [33X[0;0YA  dummy  implementation  of a concept seems to provide an interface for the
  concept,  but  calling any operation in this interface will simply signal an
  error. Hence, when using a dummy implementation, we can be sure that we only
  rely  on  the  abstract interface but not on any implementation details, for
  the simple reason that there is no actual implementation. This is useful for
  testing or compilation against a generic implementation of a concept.[133X
  
  
  [1X14.1 [33X[0;0YDummy rings[133X[101X
  
  [1X14.1-1 IsDummyRing[101X
  
  [33X[1;0Y[29X[2XIsDummyRing[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of dummy rings.[133X
  
  [1X14.1-2 IsDummyRingElement[101X
  
  [33X[1;0Y[29X[2XIsDummyRingElement[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of elements of a dummy ring.[133X
  
  [1X14.1-3 IsDummyCommutativeRing[101X
  
  [33X[1;0Y[29X[2XIsDummyCommutativeRing[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of dummy commutative rings.[133X
  
  [1X14.1-4 IsDummyCommutativeRingElement[101X
  
  [33X[1;0Y[29X[2XIsDummyCommutativeRingElement[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of elements of a dummy commutative ring.[133X
  
  [1X14.1-5 IsDummyField[101X
  
  [33X[1;0Y[29X[2XIsDummyField[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of dummy fields.[133X
  
  [1X14.1-6 IsDummyFieldElement[101X
  
  [33X[1;0Y[29X[2XIsDummyFieldElement[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of elements of a dummy field.[133X
  
  [1X14.1-7 DummyRing[101X
  
  [33X[1;0Y[29X[2XDummyRing[102X(  ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya dummy ring[133X
  
  [1X14.1-8 DummyCommutativeRing[101X
  
  [33X[1;0Y[29X[2XDummyCommutativeRing[102X(  ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya dummy commutative ring[133X
  
  [1X14.1-9 DummyField[101X
  
  [33X[1;0Y[29X[2XDummyField[102X(  ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya dummy field[133X
  
  
  [1X14.2 [33X[0;0YDummy categories[133X[101X
  
  [1X14.2-1 IsDummyCategory[101X
  
  [33X[1;0Y[29X[2XIsDummyCategory[102X( [3Xarg[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X category of a dummy CAP category.[133X
  
  [1X14.2-2 IsDummyCategoryObject[101X
  
  [33X[1;0Y[29X[2XIsDummyCategoryObject[102X( [3Xarg[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X category of objects in a dummy CAP category.[133X
  
  [1X14.2-3 IsDummyCategoryMorphism[101X
  
  [33X[1;0Y[29X[2XIsDummyCategoryMorphism[102X( [3Xarg[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Y[9Xtrue[109X or [9Xfalse[109X[133X
  
  [33X[0;0YThe [5XGAP[105X category of morphisms in a dummy CAP category.[133X
  
  [1X14.2-4 DummyCategory[101X
  
  [33X[1;0Y[29X[2XDummyCategory[102X( [3Xoptions[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya category[133X
  
  [33X[0;0YCreates  a dummy category subject to the options given via [3Xoptions[103X, which is
  a  record  passed  on to [2XCategoryConstructor[102X ([14X11.2-1[114X). Note that the options
  [10X{category,object,morphism}_filter[110X        will        be        set        to
  [10XIsDummyCategory{,Object,Morphism}[110X          and          the          options
  [10X{object,morphism}_{constructor,datum}[110X and [10Xcreate_func_*[110X will be set to dummy
  implementations  (throwing  errors when actually called). The dummy category
  will pretend to support empty limits by default.[133X
  
  
  [1X14.3 [33X[0;0YDummy homalg rings[133X[101X
  
  [33X[0;0YThe operations in this section require [10XMatricesForHomalg[110X to be loaded.[133X
  
  [1X14.3-1 IsDummyHomalgRing[101X
  
  [33X[1;0Y[29X[2XIsDummyHomalgRing[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of dummy homalg rings.[133X
  
  [1X14.3-2 IsDummyHomalgRingElement[101X
  
  [33X[1;0Y[29X[2XIsDummyHomalgRingElement[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of elements of a dummy homalg ring.[133X
  
  [1X14.3-3 IsDummyCommutativeHomalgRing[101X
  
  [33X[1;0Y[29X[2XIsDummyCommutativeHomalgRing[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of dummy commutative homalg rings.[133X
  
  [1X14.3-4 IsDummyCommutativeHomalgRingElement[101X
  
  [33X[1;0Y[29X[2XIsDummyCommutativeHomalgRingElement[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of elements of a dummy commutative homalg ring.[133X
  
  [1X14.3-5 IsDummyHomalgField[101X
  
  [33X[1;0Y[29X[2XIsDummyHomalgField[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of dummy homalg fields.[133X
  
  [1X14.3-6 IsDummyHomalgFieldElement[101X
  
  [33X[1;0Y[29X[2XIsDummyHomalgFieldElement[102X [32X filter[133X
  
  [33X[0;0YThe [5XGAP[105X filter of elements of a dummy homalg field.[133X
  
  [1X14.3-7 DummyHomalgRing[101X
  
  [33X[1;0Y[29X[2XDummyHomalgRing[102X(  ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya dummy homalg ring[133X
  
  [1X14.3-8 DummyCommutativeHomalgRing[101X
  
  [33X[1;0Y[29X[2XDummyCommutativeHomalgRing[102X(  ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya dummy commutative homalg ring[133X
  
  [1X14.3-9 DummyHomalgField[101X
  
  [33X[1;0Y[29X[2XDummyHomalgField[102X(  ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ya dummy homalg field[133X
  
