x_f := X^12+17*X^2+2; x_q := Quotient(ZX,x_f); x_g := Coerce(x_q,X^16+17); TrailingCoefficient(x_g);