Home Online Manual
Top
Back: cleanTmp
Forward: maximalGroebnerCone
FastBack:
FastForward:
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.4.36 groebnerCone

Procedure from library tropical.lib (see tropical_lib).

Usage:
groebnerCone(I,w); I ideal or poly, w intvec or bigintmat

Assume:
I a reduced standard basis and w contained in the maximal Groebner cone

Return:
cone, the Groebner cone of I with respect to w

Example:
 
LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
LIB "poly.lib";
==> // ** redefining bino (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining hilbPoly (LIB "poly.lib";) ./examples/groebnerCone.sing:\
   2
==> // ** redefining hilbPoly (LIB "poly.lib";) ./examples/groebnerCone.sing:\
   2
==> // ** redefining substitute (LIB "poly.lib";) ./examples/groebnerCone.sin\
   g:2
==> // ** redefining substitute (LIB "poly.lib";) ./examples/groebnerCone.sin\
   g:2
==> // ** redefining cyclic (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining cyclic (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining elemSymmPoly (LIB "poly.lib";) ./examples/groebnerCone.s\
   ing:2
==> // ** redefining elemSymmPoly (LIB "poly.lib";) ./examples/groebnerCone.s\
   ing:2
==> // ** redefining elemSymmId (LIB "poly.lib";) ./examples/groebnerCone.sin\
   g:2
==> // ** redefining elemSymmId (LIB "poly.lib";) ./examples/groebnerCone.sin\
   g:2
==> // ** redefining katsura (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining katsura (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining kat_var (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining kat_var (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining freerank (LIB "poly.lib";) ./examples/groebnerCone.sing:\
   2
==> // ** redefining freerank (LIB "poly.lib";) ./examples/groebnerCone.sing:\
   2
==> // ** redefining is_zero (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining is_zero (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining maxcoef (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining maxcoef (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining maxdeg (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining maxdeg (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining maxdeg1 (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining maxdeg1 (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining mindeg (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining mindeg (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining mindeg1 (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining mindeg1 (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining normalize (LIB "poly.lib";) ./examples/groebnerCone.sing\
   :2
==> // ** redefining normalize (LIB "poly.lib";) ./examples/groebnerCone.sing\
   :2
==> // ** redefining rad_con (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining rad_con (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining lcm (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining lcm (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining content (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining content (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining mod2id (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining mod2id (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining id2mod (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining id2mod (LIB "poly.lib";) ./examples/groebnerCone.sing:2
==> // ** redefining subrInterred (LIB "poly.lib";) ./examples/groebnerCone.s\
   ing:2
==> // ** redefining subrInterred (LIB "poly.lib";) ./examples/groebnerCone.s\
   ing:2
==> // ** redefining newtonDiag (LIB "poly.lib";) ./examples/groebnerCone.sin\
   g:2
==> // ** redefining newtonDiag (LIB "poly.lib";) ./examples/groebnerCone.sin\
   g:2
ring r = 0,(x,y,z),dp;
ideal I = cyclic(3);
option(redSB);
ideal stdI = std(I);
// w lies in the interior of a maximal Groebner cone
intvec w = 3,2,1;
cone CwI = groebnerCone(stdI,w);
print(rays(CwI));
==> 1,1,0,
==> 1,0,0,
==> 1,1,1
// v lies on a facet of a maximal Groebner cone
intvec v = 2,1,0;
cone CvI = groebnerCone(stdI,v);
print(rays(CvI));
==> 1,0,0,
==> 1,1,0
// v lies on a ray of a maximal Groebner cone
intvec u = 1,1,1;
cone CuI = groebnerCone(stdI,u);
print(rays(CuI));
==> 1,1,1