Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

14 Dummy implementations
 14.1 Dummy rings
 14.2 Dummy categories

14 Dummy implementations

A 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.

14.1 Dummy rings

14.1-1 IsDummyRing
‣ IsDummyRing( filter )

The GAP filter of dummy rings.

14.1-2 IsDummyRingElement
‣ IsDummyRingElement( filter )

The GAP filter of elements of a dummy ring.

14.1-3 IsDummyCommutativeRing
‣ IsDummyCommutativeRing( filter )

The GAP filter of dummy commutative rings.

14.1-4 IsDummyCommutativeRingElement
‣ IsDummyCommutativeRingElement( filter )

The GAP filter of elements of a dummy commutative ring.

14.1-5 IsDummyField
‣ IsDummyField( filter )

The GAP filter of dummy fields.

14.1-6 IsDummyFieldElement
‣ IsDummyFieldElement( filter )

The GAP filter of elements of a dummy commutative ring.

14.1-7 DummyRing
‣ DummyRing( arg )( function )

Returns: a dummy ring

14.1-8 DummyCommutativeRing
‣ DummyCommutativeRing( arg )( function )

Returns: a dummy commutative ring

14.1-9 DummyField
‣ DummyField( arg )( function )

Returns: a dummy field

14.2 Dummy categories

14.2-1 IsDummyCategory
‣ IsDummyCategory( arg )( filter )

Returns: true or false

The GAP category of a dummy CAP category.

14.2-2 IsDummyCategoryObject
‣ IsDummyCategoryObject( arg )( filter )

Returns: true or false

The GAP category of objects in a dummy CAP category.

14.2-3 IsDummyCategoryMorphism
‣ IsDummyCategoryMorphism( arg )( filter )

Returns: true or false

The GAP category of morphisms in a dummy CAP category.

14.2-4 DummyCategory
‣ DummyCategory( options )( operation )

Returns: a category

Creates a dummy category subject to the options given via options, which is a record passed on to CategoryConstructor (11.2-1). Note that the options {category,object,morphism}_filter will be set to IsDummyCategory{,Object,Morphism} and the options {object,morphism}_{constructor,datum} and create_func_* will be set to dummy implementations (throwing errors when actually called). The dummy category will pretend to support empty limits by default.

 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Ind

generated by GAPDoc2HTML