‣ AddMultiplicationForMorphisms( C, F ) | ( operation ) |
‣ AddMultiplicationForMorphisms( 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 MultiplicationForMorphisms. 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, beta ) \mapsto \mathtt{MultiplicationForMorphisms}(alpha, beta).
‣ AddReverseDifferential( C, F ) | ( operation ) |
‣ AddReverseDifferential( 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 ReverseDifferential. 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{ReverseDifferential}(alpha).
‣ AddReverseDifferentialWithGivenObjects( C, F ) | ( operation ) |
‣ AddReverseDifferentialWithGivenObjects( 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 ReverseDifferentialWithGivenObjects. 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: ( source, alpha, range ) \mapsto \mathtt{ReverseDifferentialWithGivenObjects}(source, alpha, range).
generated by GAPDoc2HTML