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] 

13 Add Functions
 13.1 Available Add functions

13 Add Functions

13.1 Available Add functions

13.1-1 AddEpimorphismFromSomeProjectiveObjectForKernelObject
‣ AddEpimorphismFromSomeProjectiveObjectForKernelObject( C, F )( operation )
‣ AddEpimorphismFromSomeProjectiveObjectForKernelObject( C, F, weight )( operation )

Returns: nothing

The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation EpimorphismFromSomeProjectiveObjectForKernelObject. Optionally, a weight (default: 100) can be specified which should roughly correspond to the computational complexity of the function (lower weight = less complex = faster execution). F: ( alpha ) \mapsto \mathtt{EpimorphismFromSomeProjectiveObjectForKernelObject}(alpha).

13.1-2 AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject
‣ AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject( C, F )( operation )
‣ AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject( C, F, weight )( operation )

Returns: nothing

The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject. Optionally, a weight (default: 100) can be specified which should roughly correspond to the computational complexity of the function (lower weight = less complex = faster execution). F: ( alpha, source ) \mapsto \mathtt{EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject}(alpha, source).

13.1-3 AddMonomorphismToSomeInjectiveObjectForCokernelObject
‣ AddMonomorphismToSomeInjectiveObjectForCokernelObject( C, F )( operation )
‣ AddMonomorphismToSomeInjectiveObjectForCokernelObject( C, F, weight )( operation )

Returns: nothing

The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation MonomorphismToSomeInjectiveObjectForCokernelObject. Optionally, a weight (default: 100) can be specified which should roughly correspond to the computational complexity of the function (lower weight = less complex = faster execution). F: ( alpha ) \mapsto \mathtt{MonomorphismToSomeInjectiveObjectForCokernelObject}(alpha).

13.1-4 AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject
‣ AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject( C, F )( operation )
‣ AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject( C, F, weight )( operation )

Returns: nothing

The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject. Optionally, a weight (default: 100) can be specified which should roughly correspond to the computational complexity of the function (lower weight = less complex = faster execution). F: ( alpha, range ) \mapsto \mathtt{MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject}(alpha, range).

13.1-5 AddSomeInjectiveObjectForCokernelObject
‣ AddSomeInjectiveObjectForCokernelObject( C, F )( operation )
‣ AddSomeInjectiveObjectForCokernelObject( C, F, weight )( operation )

Returns: nothing

The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation SomeInjectiveObjectForCokernelObject. Optionally, a weight (default: 100) can be specified which should roughly correspond to the computational complexity of the function (lower weight = less complex = faster execution). F: ( arg2 ) \mapsto \mathtt{SomeInjectiveObjectForCokernelObject}(arg2).

13.1-6 AddSomeProjectiveObjectForKernelObject
‣ AddSomeProjectiveObjectForKernelObject( C, F )( operation )
‣ AddSomeProjectiveObjectForKernelObject( C, F, weight )( operation )

Returns: nothing

The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation SomeProjectiveObjectForKernelObject. Optionally, a weight (default: 100) can be specified which should roughly correspond to the computational complexity of the function (lower weight = less complex = faster execution). F: ( arg2 ) \mapsto \mathtt{SomeProjectiveObjectForKernelObject}(arg2).

 [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