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