If the option is used than homogeneity of the ideal is not tested. By default the ideal is always assumed not homogeneous and a test is performed before applying the function tropicalVariety.
i1 : QQ[x,y]; |
i2 : I=ideal(x+y+1); o2 : Ideal of QQ[x, y] |
i3 : T=tropicalVariety (I,IsHomogeneous=>false) o3 = T o3 : TropicalCycle |
The object IsHomogeneous is a symbol.