isTLexSeg -- whether a set of t-spread monomials is a t-lex segment

Synopsis

• Usage:

  isTLexSeg(l,t)

• Inputs:
  • l, a list of t-spread monomials of a polynomial ring
• Outputs:
  • a Boolean value, whether the list l of monomials is a t-lex segment

Description

Examples:

i1 : S=QQ[x_1..x_7]

o1 = S

o1 : PolynomialRing

i2 : isTLexSeg({x_1*x_4*x_7,x_1*x_5*x_7,x_2*x_4*x_6,x_2*x_4*x_7,x_2*x_5*x_7},2)

o2 = true

i3 : isTLexSeg({x_1*x_4*x_7,x_2*x_4*x_6,x_2*x_4*x_7,x_2*x_5*x_7},2)

o3 = false

See also

• tLexSeg -- give the t-lex segment with given extremes
• tNextMon -- give the t-lex successor of a given t-spread monomial