GAP (CAP) - Chapter 14: Dummy implementations

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]

[MathJax off]

14 Dummy implementations
14.1 Dummy rings
14.1-1 IsDummyRing
14.1-2 IsDummyRingElement
14.1-3 IsDummyCommutativeRing
14.1-4 IsDummyCommutativeRingElement
14.1-5 IsDummyField
14.1-6 IsDummyFieldElement
14.1-7 DummyRing
14.1-8 DummyCommutativeRing
14.1-9 DummyField
14.2 Dummy categories
14.2-1 IsDummyCategory
14.2-2 IsDummyCategoryObject
14.2-3 IsDummyCategoryMorphism
14.2-4 DummyCategory

### 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