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

D.13.6.38 homogeneitySpace

Procedure from library tropical.lib (see tropical_lib).

Usage:
homogeneitySpace(I); I ideal or poly

Assume:
I a reduced standard basis

Return:
cone, the set of all weight vectors with respect to whom I is weighted homogeneous

Example:
 
LIB "tropical.lib";
==> Welcome to polymake version
==> Copyright (c) 1997-2015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
ring r = 0,(x,y,z),dp;
ideal I = cyclic(3);
option(redSB);
ideal stdI = std(I);
cone C0I = homogeneitySpace(stdI);
print(generatorsOfLinealitySpace(C0I));
==> 
ring s = 0,(x,y,z,u),dp;
ideal Ih = homog(cyclic(3),u);
ideal stdI = std(Ih);
cone C0Ih = homogeneitySpace(stdI);
print(generatorsOfLinealitySpace(C0Ih));
==> -1,-1,-1,-1