# 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\}$.