Basepoint-free divisor (source code)

= Basepoint-free divisor
{wiki=Base_locus}

A divisor is basepoint-free when its global sections have no common zero. Its complete linear system therefore defines a <Kodaira map> everywhere.