Macaulay2 » Documentation
Packages » TSpreadIdeals » MaxInd

Description

whether it is greater than -1 the function tLastMon(u,t,MaxInd=>m) gives the smallest t-spread monomial for which the maximum of the support is $\max\textrm{supp}(\texttt{u})$ of the Borel shadow of $B_\texttt{t}\{\texttt{u}\}$. Given a $t$-spread monomial $u=x_{i_1}x_{i_2}\cdots x_{i_d}$, we define $\textrm{supp}(u)=\{i_1,i_2,\ldots, i_d\}$.

Examples:

i1 : S=QQ[x_1..x_16] o1 = S o1 : PolynomialRing

i2 : u=x_2*x_6*x_10*x_13 o2 = x x x x 2 6 10 13 o2 : S

i3 : tLastMon(u,1,3,MaxInd=>14) o3 = x x x x x 2 5 8 11 14 o3 : S

See also

• tLastMon -- give the last t-spread monomial of the Borel shadow a given t-spread monomial
• tShadow -- give the t-spread shadow of a given t-spread monomial or a given list of t-spread monomials

---