An affine form of a hyperelliptic curve may be presented as y^2=P(x) where (x, y)\in\mathbb{C}^2 and () has distinct roots and has degree at least 5.
This smooth completion can also be obtained as follows.