IsGeneralMapping( map ) C
Each general mapping lies in the category IsGeneralMapping.
It implies the categories IsMultiplicativeElementWithInverse
(see IsMultiplicativeElementWithInverse)
and IsAssociativeElement (see IsAssociativeElement);
for a discussion of these implications,
see Arithmetic Operations for General Mappings.
IsConstantTimeAccessGeneralMapping( map ) P
is true if the underlying relation of the general mapping map
knows its AsList value, and false otherwise.
In the former case, map is allowed to use this list for calls to
ImagesElm etc.
IsEndoGeneralMapping( obj ) P
If a general mapping has this property then its source and range are equal.
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual