Top
Back: minMult
Forward: oneDimBelongSemigroup
FastBack: assprimeszerodim_lib
FastForward: elim_lib
Up: cisimplicial_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.4.2 belongSemigroup

Procedure from library cisimplicial.lib (see cisimplicial_lib).

Usage:
belongSemigroup(v,A[,k]); v is an integral vector, A is an integral matrix, n is a positive integer.

Return:
counters, a vector with nonnegative entries such that A*counters = v. If it does not exist such a vector, it returns 0. If a third parameter k is introduced, it will only consider the first k columns of A.

Assume:
A is a matrix with nonnegative entries, nonzero colums, v is a nonnegative vector and nrows(v) = nrows(A).

Example:
 


Top Back: minMult Forward: oneDimBelongSemigroup FastBack: assprimeszerodim_lib FastForward: elim_lib Up: cisimplicial_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.