where \(\mu _\infty \)  denotes the Lebesgue measure and \(f\)  is the isomorphism \( K \otimes _\mathbb {Q} \mathbb {R} \rightarrow \mathbb {R}^{k}\)  from [1]}.
Let us denote \(\mathcal {P}_K \cup \lbrace  \infty \rbrace  \)  by \(N_K\) .
