EXPERIMENTAL: Declare a p-adic or a puiseux valuation
i1 : QQ[x,y, z]; |
i2 : I=ideal(x+y+z); o2 : Ideal of QQ[x, y, z] |
i3 : tropicalVarietyWithVal (I,Valuation=>7) sh: Singular: command not found o3 = You need to install Singular for using tropicalVarietyWithVal |