Differentials for vector spaces
Smith form for matrices