x_q:=Quotient(ZX,X^2+1); x_qe1:=x_q.1-1; x_qe2:=x_q.1^3-1; x_qe3:=x_q.1^2+1; Type(x_qe1); Type(x_qe2); x_qe3=0;