This method intersects the tropical hypersurfaces coming from the tropicalizations of the polynomials in the list L.
i1 : QQ[x_1,x_2,x_3,x_4] o1 = QQ[x , x , x , x ] 1 2 3 4 o1 : PolynomialRing |
i2 : L={x_1+x_2+x_3+x_4,x_1*x_2+x_2*x_3+x_3*x_4+x_4*x_1,x_1*x_2*x_3+x_2*x_3*x_4+x_3*x_4*x_1+x_4*x_1*x_2,x_1*x_2*x_3*x_4-1} o2 = {x + x + x + x , x x + x x + x x + x x , x x x + x x x + x x x 1 2 3 4 1 2 2 3 1 4 3 4 1 2 3 1 2 4 1 3 4 ------------------------------------------------------------------------ + x x x , x x x x - 1} 2 3 4 1 2 3 4 o2 : List |
i3 : tropicalPrevariety L o3 = Fan{...1...} o3 : Fan |
i4 : QQ[x,y] o4 = QQ[x, y] o4 : PolynomialRing |
i5 : tropicalPrevariety({x+y+1,x+y},Strategy => "gfan") o5 = Fan{...1...} o5 : Fan |