CoCoA:IsTermOrdering

IsTermOrdering

check if a matrix defines a term-ordering

Description

This function determines whether a square matrix defines a term-ordering,

i.e. if its determinant is non-zero and if foreach column the first

nonnegative entry is positive.

Example

  IsTermOrdering(LexMat(5));
TRUE
-------------------------------
  IsTermOrdering(DegRevLexMat(5));
TRUE
-------------------------------
  IsTermOrdering(RevLexMat(5));
FALSE
-------------------------------

Syntax

IsTermOrdering(M:MAT):BOOL

Custom Term-Orderings

   <type>matrix</type>
   <type>boolean</type>