Degree of a projective scheme (source code)

= Degree of a projective scheme
{wiki=Degree_of_an_algebraic_variety}

For a pure $k$-dimensional projective scheme $X\subseteq\mathbb P^m$, its degree is $k!$ times the leading coefficient of its Hilbert polynomial, equivalently $\int_XH^k$.