‣ AddIsReflexive( C, F ) | ( operation ) |
‣ AddIsReflexive( 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 IsReflexive. 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{IsReflexive}(arg2)\).
generated by GAPDoc2HTML