polynomial vector space