<< f init h >>
<< f weight_vector init h >>
poly f,h; array of integer weight_vector;
h is the initial term of the polynomial f.
Example: (2 x^3 + 3 x + 1). init :: ---> 2 x^3
Example: [(x^3+1). (x h+ h^5).] {init} map ::
Example: (x+1). [0 1 1 1] init :: cf. weightv