CoCoA:HilbertBasis

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)

HilbertBasis

Hilbert basis for a monoid

Description

This function returns a list whose components are lists (of

non-negative integers) representing the Hilbert basis for the monoid

of elements with non-negative coordinates in the kernel of M.

Example

  M := Mat([[1,-2,3,4], [1, 0, 0, -1]]);
  HilbertBasis(M);
[[0, 3, 2, 0], [1, 4, 1, 1], [2, 5, 0, 2]]
-------------------------------
  M * Transposed(Mat(It));
Mat([
  [0, 0, 0],
  [0, 0, 0]
])
-------------------------------

Syntax

HilbertBasis(M:MAT): LIST

where M is a matrix over Z.
   <type>matrix</type>