Smith normal form of a matrix of generalized polynomials with rational exponents

It is proved that generalized polynomials with rational exponents over a commutative field form an elementary divisor ring; an algorithm for computing the Smith normal form is derived and implemented.