| #### D.13.7.4 cccMatrixToPositiveIntvec Procedure from library `tropicalNewton.lib` (see tropicalNewton_lib). Usage: cccMatrixToPositiveIntvec(M); M matrix Return: intvec, strictly positive equivalent as weight vector to row vector in M Assume: constant coefficient case only, will scale weight vector and add vectors of ones to it Example:
    LIB "tropicalNewton.lib";
    ring r = (0,t),(p01,p02,p12,p03,p13,p23,p04,p14,p24,p34),dp;
    number uniformizingParameter = t;
    export(uniformizingParameter);
    ideal I =
    p23*p14-p13*p24+p12*p34,
    p23*p04-p03*p24+p02*p34,
    p13*p04-p03*p14+p01*p34,
    p12*p04-p02*p14+p01*p24,
    p12*p03-p02*p13+p01*p23;
    system("--random",1337);
    matrix p = tropicalPointNewton(I);
    print(p);
    ==> -59,-14,-87,57,-16,-63,41,-32,-90,-8
    intvec w = cccMatrixToPositiveIntvec(p);
    print(w);
    ==> 32,
    ==> 77,
    ==> 4,
    ==> 148,
    ==> 75,
    ==> 28,
    ==> 132,
    ==> 59,
    ==> 1,
    ==> 83
    def s = switchRingsAndComputeInitialIdeal(I,w);
    kill uniformizingParameter;

User manual for Singular version 4.4.0, 2024, generated by texi2html.