1: \begin{definition}\label{def.vkr}
2: The \emph{Krushkal polynomial}, $\widetilde{K}_{(G\subset\Sigma,\mathcal{P})} (x,y,a,b)$, of a vertex partitioned graph in a surface $(G\subset\Sigma,\mathcal{P})$ is
3: \begin{align*} \widetilde{K}_{(G\subset\Sigma,\mathcal{P})} (x,y,a,b) &:= \alpha( \mathbf{a}, \mathbf{b}) ( G\subset\Sigma,\mathcal{P})
4: \\ &= \sum_{A\subseteq E(G)} x^{r(G_{/\mathcal{P}})-r(A_{/\mathcal{P}})}
5: y^{\kappa(A)}
6: a^{\rho(A)-r(A_{/\mathcal{P}})}
7: b^{ |A| - \rho(A)-\kappa(A)} \end{align*}
8: where $ \alpha$ is as in Theorem~\ref{t.vbr1}, $\mathbf{a} = ( 1, y,a,\sqrt{ab},b)$, and $\mathbf{b} =(x,1,1,1,1)$.
9: \end{definition}
10: