dovs function

Dimension of the underlying vector space