Below we compute the divisor class given by the closure $\overline{\mathcal{H}}_2^1(2) \subset \overline{\mathcal{M}}_{2,1}$ of the locus $${\mathcal{H}}_2^1(2) = {\{(C,p) : \exists \text{ differential $\eta$on$C$with double zero at$pParseError: KaTeX parse error: Expected 'EOF', got '}' at position 1: }̲ \}} \subset {\…$ Execute the commands below by clicking and pressing Shift+Enter.

We can check that it agrees with the locus of (hyperelliptic) curves with a marked Weierstrass point, which is computed by a different algorithm.