makeFreeOIModule(e,L,P)
Makes a free OI-module of the form $\bigoplus_{i=1}^s\mathbf{F}^{\text{OI}, d_i}$ over the PolynomialOIAlgebra object P with $L=\{d_1,\ldots,d_s\}$ and basis symbol e.
The DegreeShifts option is used to specify a shift of grading. This option must be set to either null for no shifts, or a list of integers describing the desired shifts.
The OIMonomialOrder option must be set to either Lex, for the lexicographic order, or a list of elements of some free OI-module for the Schreyer order. See below for examples.
|
|
|
|
|
|
The object makeFreeOIModule is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:1642:0.