ModuleInWidth -- the class of all modules that appear as a component of a free OI-module

Description

The width $n$ component of a free OI-module is implemented as a ModuleInWidth object. To obtain a ModuleInWidth object, one restricts a given free OI-module to a specified width using FreeOIModule _ ZZ, as seen in the example below.

i1 : P = makePolynomialOIAlgebra(2, x, QQ);

i2 : F = makeFreeOIModule(e, {1,2}, P);

i3 : F_2

                                 3
o3 = (QQ[x   , x   , x   , x   ])  in width 2
          2,2   2,1   1,2   1,1

o3 : ModuleInWidth

Methods that use an object of class ModuleInWidth :

net(ModuleInWidth) -- display a component of a free OI-module in a specified width
use(ModuleInWidth) -- use a component of a free OI-module

For the programmer

The object ModuleInWidth is a type, with ancestor classes HashTable < Thing.