|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.13.6.37 homogeneitySpace
Procedure from librarytropical.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
LIB "tropical.lib"; 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 |