[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Operations on Mappings
Operations on Mappings
f * g : Map, Map -> Map
Given a mapping f : A -> B, and a mapping
g : B -> C, construct the composition h of
the mappings f and g as the mapping h=g o f : A -> C.
Domain(f) : Map -> Struct
The domain of the mapping f.
Codomain(f) : Map -> Struct
The codomain of the mapping f.
Function(f) : Map -> UserProgram
The function underlying the mapping f.
Only available if f has been defined by the user by means
of a rule map (i.e. an expression for the image under f
of an arbitrary element of the domain).
Image(f) : Map -> Elt
Given a mapping f with domain A and codomain B, return the image
of A in B. Note that images and kernels are currently available only on
certain intrinsic maps.
Kernel(f) : Map -> Struct
Given the homomorphism f with domain A and codomain B, return
the kernel of f. Note that images and kernels are currently available only on
certain intrinsic maps.
[Future release] Cokernel(f) : Map -> Struct
Given the homomorphism f with domain A and codomain B, return
the cokernel of f.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]