Detecting tropical defects of polynomial equations

09/10/2018

∙

by   Paul Görlach, et al.

∙

0

∙

share

We introduce the notion of tropical defects, certificates that a system of polynomial equations is not a tropical basis, and provide algorithms for finding them around affine spaces of complementary dimension to the zero set. We use these techniques to solve open problems regarding del Pezzo surfaces of degree 3 and realizability of valuated gaussoids of rank 4.