made basis_of_ordinary_subspace compute the dimension automaticallyy