Added operations on polynomials of different variables.

Added a procedure to change a polynomial with polynomials as variables, into another polynomial
with the variable of the coefficients. This allows us to add, mul, and div polynomials in
different variables.