|
|
D.16.1.3 groebnerCone
Syntax:
groebnerCone( poly g, intvec v )
groebnerCone( poly g, bigintmat v )
groebnerCone( ideal I, intvec v )
groebnerCone( ideal I, bigintmat v )
Assume:
- I reduced standard basis, v contained in the maximal Groebner cone of the current ordering
Type:
- cone
Purpose:
- the euklidean closure of all weight vectors with respect to whom the initial form of g or the initial ideal of I coincides with the initial form or the initial ideal with respect to v.
Example:
| | LIB "gfanlib.so";
ring r = 0,(x,y),dp;
poly g = x+y+1;
cone C = groebnerCone(g,intvec(1,1));
rays(C);
==> 1,1
generatorsOfLinealitySpace(C);
==>
ideal I = x2-y3,x3-y2-x;
I = std(I);
C = groebnerCone(I,intvec(1,1));
rays(C);
==> 3,2,
==> 2,3
generatorsOfLinealitySpace(C);
==>
|
|
Online Manual
