| #### D.13.1.1 BelongSemig Procedure from library `cimonom.lib` (see cimonom_lib). 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. Example:
    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

User manual for Singular version 4.4.1, 2025, generated by texi2html.