Canonical divisor (source code)

= Canonical divisor
{title2=$K_X$}
{wiki}

A canonical divisor is the divisor of any nonzero rational differential. Its divisor class is independent of the differential and has degree $2g-2$.