NmzHilbertBasisKer -- Hilbert basis for a monoid |
Syntax |
HilbertBasisKer(M: MAT): MAT |
Description |
Example |
/**/ M := mat([[1,-2,3,4], [1, 0, 0, -1]]); /**/ NmzHilbertBasisKer(M); matrix(QQ, [[0, 3, 2, 0], [1, 4, 1, 1], [2, 5, 0, 2]]) /**/ M * transposed(It); matrix(QQ, [[0, 0, 0], [0, 0, 0]]) |
See Also |