fixed vector space dimension