x_Z := IntegerRing(); x_R := PolynomialAlgebra( x_Z ); x_a := Coerce( x_R, Zero(x_Z) ); Type(x_a); x_b := Coerce( x_Z, x_a ); Type(x_b);