CoCoA:LexMat

LexMat

matrices for std. term-orderings

Description

This function return the matrix defining a standard term-ordering.

These functions return matrices defining standard term-orderings.

Example

  LexMat(3);
Mat([
  [1, 0, 0],
  [0, 1, 0],
  [0, 0, 1]
])
-------------------------------

Syntax

LexMat(N:INTEGER):MAT

Ord

Orderings

DegLexMat

DegRevLexMat

RevLexMat

XelMat

   <type>matrix</type>