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.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:1605:0.