Degree of a divisor (source code)

= Degree of a divisor
{title2=$\deg D$}

For $D=\sum_Pn_PP$ on a curve over an algebraically closed field, its degree is $\deg D=\sum_Pn_P$.