CoCoA:IsLexSegment

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

IsLexSegment

checks if an ideal is lex-segment

Description

This function tests whether the monomial ideal I is a lex-segment ideal.

Example

  Use R ::= Q[x,y,z];
  I := Ideal(xy^3, y^4, x^3, x^2y, x^2z);
  IsLexSegment(I);
FALSE
-------------------------------

Syntax

IsLexSegment(I: MONOMIAL IDEAL): BOOL

IsStable

IsStronglyStable

LexSegmentIdeal

   <type>ideal</type>
   <type>boolean</type>