An element of a free OI-module $\mathbf{F}$ is defined to be an element of $\mathbf{F}_n$ for some integer $n\geq0$. Such an element is implemented as a VectorInWidth object. One typically makes VectorInWidth objects by defining a FreeOIModule object, calling installGeneratorsInWidth, and then manipulating the generators; see below for an example.
|
|
|
|
|
The object VectorInWidth is a type, with ancestor classes HashTable < Thing.