This type implements morphisms between free OI-modules. Given free OI-modules $\mathbf{F}$ and $\mathbf{G}$ over an OI-algebra $\mathbf{P}$, a $\mathbf{P}$-linear map $\varphi:\mathbf{F}\to\mathbf{G}$ is determined by the images of the basis elements of $\mathbf{F}$.
To evaluate $\varphi$ on an element of $\mathbf{F}$, use FreeOIModuleMap VectorInWidth.
One obtains FreeOIModuleMap objects through the use of oiRes, as in the below example.
|
|
|
|
|
|
|
|
|
The object FreeOIModuleMap is a type, with ancestor classes HashTable < Thing.