 Jacobian criterion

For an affine variety over a perfect field, the tangent-space codimension at a point is the rank of the Jacobian matrix of defining equations. The smooth locus of a pure $d$-dimensional variety in ${\mathbb{A}}^N$ is where this rank is $N-d$.