Let R be a commutative semiring. That is a triple (R,+,.) such that (R,+) is a commutative monoid and (R,.) is a commutative semigroup. Let {\mathbf \alpha}_i = \alpha_1,\alpha_2,\ldots,\alpha_n . The n-variate indeterminate is just free monoid on n letters. However, it is common to...