So, with polymake, I can compute the tropical prevariety using the command "set_theoretic_intersection" and for variety I need gfan in addition. I will try it
Hello, Thank you for your quick reply. Do you really need the tropical basis or do you just need the tropicalization? It is also possible, that the computation may be easier in the particular cases you want to compute. In many cases, a universal Gröbner basis can serve as a tropical basis. By tropic...
Dear all, I was wondering if there exists any tutorial for computing the tropical basis in polymake ? For example: I have two tropical hypersurfaces defined by: min(a1,a2,4*a1+1); min(a1,a2,2*a2+1); and I am interested to compute the tropical basis (whose intersections define the tropical variety) B...
Thank you very much for the reply. If I understand correctly, to realise this in polymake, I think I have to create a new Polytope with the vertices (with POINTS property) obtained from the intersection and compute its dimension (this should be the dimension of affine hull & also the dimension o...
Dear all, I followed your tutorial: http://polymake.org/doku.php/tutorial/face_lattice_tutorial to compute a part of face lattice (e.g. 1 -dimensional faces). Is it possible to use this function to compute a part of face lattice with few selected vertices (which is pre-defined) ? For example, I am i...
Dear polymake team, I import the following set of inequalities (in lp format) Maximize Subject To c0: - a1 = 0 c1: a1 - a2 = 0 c2: a1 - a3 = 0 Bounds a1 free a2 free a3 free End then when I execute the following commands, it doesn't return 1 ? $f = convert_to<Rational>lp2poly('file.lp'); print equal...