By default the ideal is assumed to be prime. If the ideal is not prime then the internal procedure to compute the tropicalization is different. It is used gfan_tropicalbrute force instead of gfan_tropicaltraverse.
i1 : QQ[x,y,z]; |
i2 : I=ideal(x^2+y^2-2*x*y); o2 : Ideal of QQ[x, y, z] |
i3 : isPrime I o3 = false |
i4 : T=tropicalVariety(I,Prime=>false) o4 = T o4 : TropicalCycle |