Synopsis:
f_m -- provide the coefficient of the monomial m in the polynomial f.
i1 : ZZ[y];
i2 : ((1+y)^5) _ (y^2) o2 = 10
See also: