Smith forms over R[z_{1},z_{2}]

Relationships between a polynomial matrix and its Smith forms are explored. It is shown, for example, that a matrix over R[z_{1}, z_{2}] is equivalent to its Smith form over R[z_{1}, z_{2}] if and only if a certain system of linear polynomial equations has a solution.