dimension of linear variety