|  |  D.15.5.1 BelongSemig Procedure from librarycimonom.lib(see  cimonom_lib).
 
Example:Usage:
BelongSemig (n,v[,sup]); n bigint, v and sup intvec
Return:
In the default form, it returns 1 if n is in the semigroup generated by
the elements of v or 0 otherwise. If the argument sup is added and in case
n belongs to the semigroup generated by the elements of v, it returns
a monomial in the variables {x(i) | i in sup} of degree n if we set
deg(x(sup[j])) = v[j].
Assume:
v and sup positive integer vectors of same size, sup has no
repeated entries, x(i) has to be an indeterminate in the current ring for
all i in sup.
 |  | LIB "cimonom.lib";
ring r=0,x(1..5),dp;
int a = 125;
intvec v = 13,17,51;
intvec sup = 2,4,1;
BelongSemig(a,v,sup);
==> x(2)^7*x(4)^2
BelongSemig(a,v);
==> 1
 | 
 
 |