This function computes the dimension of the space where the tropical cycle is contained.
i1 : QQ[x,y,z] o1 = QQ[x..z] o1 : PolynomialRing |
i2 : T=tropicalVariety(ideal(x+y+z)); |
i3 : ambDim T o3 = 3 |