Considere uma curva hiperelípica de gênero g sobre um campo K de característica zero. Após estender K, podemos vê-la como uma curva marcada com seus 2g+2 pontos de Weierstrass. Provamos algumas propriedades gerais da redução estável desta curva marcada para uma valorização da característica de residuo 2 e refinamos um algoritmo existente para seu cálculo. Trabalhamos exemplos explícitos até o gênero g=30.
Tim Gehrunger (Terça,) estudou esta questão.