x_psr:=PowerSeriesRing(Q); x_p:=Element(x_psr,[5,0,2,1]); LeadingCoefficient(x_p);