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

Usage:

classFromTropical(X,I)
Inputs:
- X, a normal toric variety,
- I, an ideal,
Outputs:
- D, a toric cycle,

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:

classFromTropical(NormalToricVariety,Ideal)

For the programmer

The object classFromTropical is a method function.

The source of this document is in TropicalToric/TropicalToricDoc.m2:135:0.