tr:math:linear_alg:vector_spaces:basis_dimension