Macaulay2 » Documentation
Packages » TSpreadIdeals » FixedMax
next | previous | forward | backward | up | index | toc

FixedMax -- optional boolean argument for tNextMon

Description

whether it is true the function tNextMon(u,t,FixedMax=>true) gives the t-lex successor for which the maximum of the support is $\max\textrm{supp}(\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 : tNextMon(u,3,FixedMax=>true)

o3 = x x x  x
      2 7 10 13

o3 : S

See also

Functions with optional argument named FixedMax:

  • countTLexMon(...,FixedMax=>...)
  • tNextMon(...,FixedMax=>...)

For the programmer

The object FixedMax is a symbol.

The source of this document is in TSpreadIdeals.m2:1401:0.