Signs of the Leading Coefficients of the Resultant

We construct a certain F2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{F}_{2}}$$\end{document}-valued analogue of the mixed volume of lattice polytopes. This 2-mixed volume cannot be defined as a polarization of any kind of an additive measure, or characterized by any kind of its monotonicity properties, because neither of the two makes sense over F2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{F}_2}$$\end{document}. In this sense, the convex-geometric nature of the 2-mixed volume remains unclear. On the other hand, the 2-mixed volume seems to be no less natural and useful than the classical mixed volume—in particular, it also plays an important role in algebraic geometry. As an illustration of this role, we obtain a closed-form expression in terms of the 2-mixed volume to compute the signs of the leading coefficients of the resultant, which were by now explicitly computed only for some special cases.