x_q:=Quotient(ZX,X^2+1); x_qe2:=5*x_q.1^3-1; LeadingCoefficient(x_qe2);