NewOperation( name, args-filts )
NewOperation returns an operation opr with name name.
The list args-filts describes requirements about the arguments
of opr, namely the number of arguments must be equal to the length of
args-filts, and the i-th argument must lie in the filter
args-filts[ i].
Each method that is installed for opr via InstallMethod must require
that the i-th argument lies in the filter args-filts[ i].
One can install methods for other arguments tuples via
InstallOtherMethod,
this way it is also possible to install methods for a different number
of arguments than the length of args-filts.
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual