Title: Detecting tropical defects of polynomial equations,
Abstract: 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.