Weierstrass gap
= Weierstrass gap
{c}
{title2=$G(p)$}
At a point $p$ of a <smooth projective curve>, a positive integer $n$ is a Weierstrass gap when no <rational function> has a pole of order exactly $n$ at $p$ and no other poles. Equivalently,
$$
\ell(np)=\ell((n-1)p).
$$