|
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:
|