Singular Manual: maximalGroebnerCone

| #### D.13.6.36 maximalGroebnerCone Procedure from library `tropical.lib` (see tropical_lib). Usage: maximalGroebnerCone(I); I ideal or poly Assume: I a reduced standard basis Return: cone, the maximal Groebner cone of I with respect to the current ordering Example:
    LIB "tropical.lib";
    ring r = 0,(x,y,z),dp;
    ideal I = cyclic(3);
    option(redSB);
    ideal stdI = std(I);
    cone CI = maximalGroebnerCone(stdI);
    print(rays(CI));
    ==> 1,1,0,
    ==> 1,0,0,
    ==> 1,1,1
    ring s = 0,(x,y,z,u),dp;
    ideal Ih = homog(cyclic(3),u);
    ideal stdI = std(Ih);
    cone CIh = maximalGroebnerCone(stdI);
    print(rays(CIh));
    ==> 1, 1,-1,-1,
    ==> 3,-1,-1,-1,
    ==> 1, 1, 1,-3
    print(generatorsOfLinealitySpace(CIh));
    ==> -1,-1,-1,-1
    ring rw = 0,(x,y,z),(a(1,0,1),lp);
    ideal I = cyclic(3);
    ideal stdI = std(I);
    CI = maximalGroebnerCone(stdI);
    print(rays(CI));
    ==> 1,0,0,
    ==> 1,0,1,
    ==> 1,1,1

User manual for Singular version 4.3.1p1, 2022, generated by texi2html.