Exceptional curve of the first kind (source code)

= Exceptional curve of the first kind

An exceptional curve of the first kind is a smooth rational curve $E$ on a smooth surface with $E^2=-1$. It can be contracted to a smooth point.

This is precisely the curve contracted by the <Castelnuovo contraction criterion>.