 Similarly, there is no reason to have one variable, and an exponential polynomial in "n" variables would be of the form "P"("x"1...,"x""n","e""x"1...,"e""x""n"), where "P" is a polynomial in 2"n" variables.For formal exponential polynomials over a field "K" we proceed as follows.Let "W" be a finitely generated Z-submodule of "K" and consider finite sums of the form 

where the "f""i" are polynomials in "K"["X"] and the exp("w""i""X") are formal symbols indexed by "w""i" in "W" subject to exp("u"+"v") = exp("u")exp("v").