Very ample linear system (source code)

= Very ample linear system

A very ample linear system defines an embedding into projective space. On a smooth projective curve this means it has no base points and separates both distinct points and tangent directions; the complete system of a <very ample divisor> is an example.