refine s-pos-int and vector generators