An (imaginary) hyperelliptic curve of genus formula_1 over a field formula_2 is given by the equation formula_3 where formula_4 is a polynomial of degree not larger than formula_1 and formula_6 is a monic polynomial of degree formula_7.