 formula_35.Furthermore, the opposite of formula_23 is simply defined as formula_37.The definition of a hyperelliptic curve can be slightly simplified if we require that the characteristic of formula_2 is not equal to 2.