Macaulay2 » Documentation
Packages » TropicalToric :: classFromTropical
next | previous | forward | backward | up | index | toc

classFromTropical -- compute a toric cycle of X which class is the same as a given subvariety of X

Synopsis

Description

This function calculates a toric cycle which class is the same of a subvariety of a normal toric variety X, under the hypothesis that X is simplicial. The subvariety is given by the ideal of its intersection with the torus inside X.

i1 : X = toricProjectiveSpace 3;
i2 : R = QQ[x_1 .. x_3];
i3 : I = ideal(x_1+x_2+x_3+1,x_1+2*x_2-x_3+4);

o3 : Ideal of R
i4 : classFromTropical(X,I)

o4 = X
      {0, 1}

o4 : ToricCycle on X

Ways to use classFromTropical :

For the programmer

The object classFromTropical is a method function.